Conference Information
SAT 2021: International Conference on Theory and Applications of Satisfiability Testing
Submission Date:
2021-03-15 Extended
Notification Date:
Conference Date:
Barcelona, Spain
CCF: b   CORE: a   QUALIS: b1   Viewed: 7584   Tracked: 10   Attend: 2
Conference Location
Call For Papers

SAT 2021 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 Scope

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 2021-02-28
Acceptance Ratio
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
CNSAInternational Conference on Network Security & Applications2021-01-022021-01-152021-01-23
IMMMInternational Conference on Advances in Information Mining and Management2021-03-022021-04-122021-05-30
ASSEAsia Service Sciences and Software Engineering Conference2021-10-102021-11-012022-02-24
TAACTheoretical and Applied Aspects of Cybernetics2014-10-202014-10-252014-11-24
ICVARSInternational Conference on Virtual and Augmented Reality Simulations2021-02-102021-02-252021-03-20
b4ICUIMCInternational Conference on Ubiquitous Information Management and Communication2015-09-302015-10-142016-01-04
iThingsInternational Conference on Internet of Things2020-08-082020-09-052020-11-02