Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R3,201
Discovery Miles 32 010
|
|
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 12831
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 24th International
Conference on Theory and Applications of Satisfiability Testing,
SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37
full papers presented in this volume were carefully reviewed and
selected from 73 submissions. They deal with theory and
applications of the propositional satisfiability problem, broadly
construed. Aside from plain propositional satisfiability, the scope
of the meeting includes Boolean optimization, including MaxSAT and
pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF),
satisfiability modulo theories (SMT), and constraint programming
(CP) for problems with clear connections to Boolean reasoning.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.