posted by user: aur3l14no || 1340 views || tracked by 1 users: [display]

SAT 2022 : 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)

FacebookTwitterLinkedInGoogle


Conference Series : Theory and Applications of Satisfiability Testing
 
Link: http://satisfiability.org/SAT22/
 
When Aug 2, 2022 - Aug 5, 2022
Where Haifa, Israel
Abstract Registration Due Feb 21, 2022
Submission Deadline Feb 28, 2022
Notification Due May 30, 2022
Final Version Due Jun 6, 2022
Categories    formal method   satisfiability   logic   constraint programming
 

Call For Papers

SAT 2022 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Domains include MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), model counting, as well as Constraint Satisfaction Problems (CSP). Topics include, but are not restricted to:

Theoretical advances (including algorithms, proof complexity, parameterized complexity, and other complexity issues);
Practical search algorithms;
Knowledge compilation;
Implementation-level details of SAT solving tools and SAT-based systems;
Problem encodings and reformulations;
Applications (including both novel applications domains and improvements to existing approaches);
Case studies and reports on insightful findings based on rigorous experimentation.

Related Resources

ICoCTA 2025   2025 5th International Conference on Control Theory and Applications
JELIA 2025   19th European Conference on Logics in Artificial Intelligence
Computational Response Control 2025   Computational Response Control in Structures: Theory, Optimization and AI Applications
MFCS 2025   Mathematical Foundations of Computer Science
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
HCVS 2025   12th Workshop on Horn Clauses for Verification and Synthesis
ITA 2026   International Congress on Information, Technology and Applications
ACM SaT-CPS 2025   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
CoEEPE 2025   2025 5th International Joint Conference on Energy, Electrical and Power Engineering (CoEEPE 2025)
SI_Fault_IoV_OTJ 2025   SI on Tools, Techniques, and Applications for Fault Tolerant and Reliable Vehicular Ad-hoc Networks (VANET) and Internet of Vehicles (IoV), The Open Transportation Journal