Conference Information
SAT 2022: International Conference on Theory and Applications of Satisfiability Testing
http://satisfiability.org/SAT22/
Submission Date:
2022-02-21
Notification Date:
2022-05-30
Conference Date:
2022-08-02
Location:
Haifa, Israel
Years:
25
CCF: b   CORE: a   QUALIS: b1   Viewed: 12096   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
YearSubmittedAcceptedAccepted(%)
2008701724.3%
2007742229.7%
2006902628.9%
2005732635.6%
2003674262.7%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ARITHIEEE Symposium on Computer Arithmetic2020-01-22 2020-06-07
ICIHTInternational Conference on Informatics, Health & Technology2016-10-032016-11-012017-02-21
aa*a1CRYPTOInternational Cryptology Conference2020-02-112020-05-082020-08-16
IMMMInternational Conference on Advances in Information Mining and Management2022-03-222022-04-192022-06-26
CNSAInternational Conference on Network Security & Applications2022-02-122022-02-192022-02-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 Things2022-05-072022-06-102022-08-22
Recommendation