posted by user: aur3l14no || 894 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

CLNLP 2024   2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2024)
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ICDD 2024   International Conference on Applied Informatics Imagination, Creativity, Design, Development
SAT 2023   The 26th International Conference on Theory and Applications of Satisfiability Testing
ICML 2024   International Conference on Machine Learning
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
IAAI 2024   Innovative Applications of Artificial Intelligence
IEEE DAPPS 2024   IEEE International Conference on Decentralized Applications and Infrastructures
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
ADMA 2024   20th International Conference Advanced Data Mining and Applications