posted by user: aur3l14no || 112 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 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
ICLA 2022   10th Indian Conference on Logic and its Applications
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
ICST 2023   16th IEEE International Conference on Software Testing, Verification and Validation
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
COCOA 2023   The 16th Annual International Conference on Combinatorial Optimization and Applications
ISSTA 2023   The ACM SIGSOFT International Symposium on Software Testing and Analysis (First Round)
SMT 2022   20th International Workshop on Satisfiability Modulo Theories
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,