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

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


Conference Series : Theory and Applications of Satisfiability Testing
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

SAT 2023   The 26th International Conference on Theory and Applications of Satisfiability Testing
JELIA 2023   18th European Conference on Logics in Artificial Intelligence
ICoCTA 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
ESSLLI 2023   European Summer School in Logic, Language and Information
SI RDFTA 2023   SPECIAL ISSUE on Recent Developments in Fixed-Point Theory and Applications
KoDis 2023   Workshop on Knowledge Diversity
IJIT 2023   International Journal on Information Theory
MOSAIC 2023   Modalities in Substructural Logics: Theory, Methods and Applications
ACM SaT-CPS 2023   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
RP 2023   Reachability Problems