Conference Information
SAT 2022: International Conference on Theory and Applications of Satisfiability Testing
Submission Date:
Notification Date:
Conference Date:
Haifa, Israel
CCF: b   CORE: a   QUALIS: b1   Viewed: 13587   Tracked: 12   Attend: 3

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.

Out of ScopePermalink

Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal.
Last updated by Dou Sun in 2022-01-17
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ARITHIEEE Symposium on Computer Arithmetic2024-01-182024-04-052024-06-10
ICIHTInternational Conference on Informatics, Health & Technology2016-10-032016-11-012017-02-21
aa*a1CRYPTOInternational Cryptology Conference2024-02-132024-05-032024-08-18
CNSAInternational Conference on Network Security & Applications2022-02-122022-02-192022-02-26
IMMMInternational Conference on Advances in Information Mining and Management2022-03-222022-04-192022-06-26
TAACTheoretical and Applied Aspects of Cybernetics2014-10-202014-10-252014-11-24
ASSEAsia Service Sciences and Software Engineering Conference2022-01-102022-01-252022-02-24
ICVARSInternational Conference on Virtual and Augmented Reality Simulations2022-01-102022-02-052022-03-25
b4ICUIMCInternational Conference on Ubiquitous Information Management and Communication2015-09-302015-10-142016-01-04
iThingsInternational Conference on Internet of Things2023-09-012023-10-152023-12-15