posted by user: aur3l14no || 984 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 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
CONCUR 2024   International Conference on Concurrency Theory
CLNLP 2024   2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2024)
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
NCTA 2024   16th International Conference on Neural Computation Theory and Applications
Computational Response Control 2024   Computational Response Control in Structures: Theory, Optimization and AI Applications
ECTA 2024   16th International Conference on Evolutionary Computation Theory and Applications
CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)