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: 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
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2008 | 70 | 17 | 24.3% |
2007 | 74 | 22 | 29.7% |
2006 | 90 | 26 | 28.9% |
2005 | 73 | 26 | 35.6% |
2003 | 67 | 42 | 62.7% |
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
ARITH | IEEE Symposium on Computer Arithmetic | 2024-01-18 | 2024-04-05 | 2024-06-10 | |||
ICIHT | International Conference on Informatics, Health & Technology | 2016-10-03 | 2016-11-01 | 2017-02-21 | |||
a | a* | a1 | CRYPTO | International Cryptology Conference | 2024-02-13 | 2024-05-03 | 2024-08-18 |
CNSA | International Conference on Network Security & Applications | 2022-02-12 | 2022-02-19 | 2022-02-26 | |||
IMMM | International Conference on Advances in Information Mining and Management | 2022-03-22 | 2022-04-19 | 2022-06-26 | |||
TAAC | Theoretical and Applied Aspects of Cybernetics | 2014-10-20 | 2014-10-25 | 2014-11-24 | |||
ASSE | Asia Service Sciences and Software Engineering Conference | 2022-01-10 | 2022-01-25 | 2022-02-24 | |||
ICVARS | International Conference on Virtual and Augmented Reality Simulations | 2022-01-10 | 2022-02-05 | 2022-03-25 | |||
b4 | ICUIMC | International Conference on Ubiquitous Information Management and Communication | 2015-09-30 | 2015-10-14 | 2016-01-04 | ||
iThings | International Conference on Internet of Things | 2023-09-01 | 2023-10-15 | 2023-12-15 |
Short | Full Name | Submission | Conference |
---|---|---|---|
ARITH | IEEE Symposium on Computer Arithmetic | 2024-01-18 | 2024-06-10 |
ICIHT | International Conference on Informatics, Health & Technology | 2016-10-03 | 2017-02-21 |
CRYPTO | International Cryptology Conference | 2024-02-13 | 2024-08-18 |
CNSA | International Conference on Network Security & Applications | 2022-02-12 | 2022-02-26 |
IMMM | International Conference on Advances in Information Mining and Management | 2022-03-22 | 2022-06-26 |
TAAC | Theoretical and Applied Aspects of Cybernetics | 2014-10-20 | 2014-11-24 |
ASSE | Asia Service Sciences and Software Engineering Conference | 2022-01-10 | 2022-02-24 |
ICVARS | International Conference on Virtual and Augmented Reality Simulations | 2022-01-10 | 2022-03-25 |
ICUIMC | International Conference on Ubiquitous Information Management and Communication | 2015-09-30 | 2016-01-04 |
iThings | International Conference on Internet of Things | 2023-09-01 | 2023-12-15 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
IET Control Theory & Applications | 2.048 | IET | 1751-8644 | |
International Journal of Circuit Theory and Applications | 1.554 | Wiley-Blackwell | 0098-9886 | |
Journal of Control Theory and Applications | Springer | 1672-6340 | ||
International Journal of Computer Applications in Technology | Inderscience | 0952-8091 | ||
Journal of Optimization Theory and Applications | 2.249 | Springer | 0022-3239 | |
Applied Informatics | Springer | 2196-0089 | ||
c | Journal of Web Engineering | Rinton Press | 1540-9589 | |
International Journal of Computer Science Applications & Information Technologies | AR Publication | 2347-453X | ||
Advances and Applications in Bioinformatics and Chemistry | Dove Medical Press | 1178-6949 | ||
Computer Applications in Engineering Education | 1.435 | Wiley-Blackwell | 1061-3773 |
Full Name | Impact Factor | Publisher |
---|---|---|
IET Control Theory & Applications | 2.048 | IET |
International Journal of Circuit Theory and Applications | 1.554 | Wiley-Blackwell |
Journal of Control Theory and Applications | Springer | |
International Journal of Computer Applications in Technology | Inderscience | |
Journal of Optimization Theory and Applications | 2.249 | Springer |
Applied Informatics | Springer | |
Journal of Web Engineering | Rinton Press | |
International Journal of Computer Science Applications & Information Technologies | AR Publication | |
Advances and Applications in Bioinformatics and Chemistry | Dove Medical Press | |
Computer Applications in Engineering Education | 1.435 | Wiley-Blackwell |
Recommendation