会議情報
SAT 2022: International Conference on Theory and Applications of Satisfiability Testing
http://satisfiability.org/SAT22/
提出日:
2022-02-21
通知日:
2022-05-30
会議日:
2022-08-02
場所:
Haifa, Israel
年:
25
CCF: b   CORE: a   QUALIS: b1   閲覧: 12399   追跡: 12   出席: 3

論文募集
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.
最終更新 Dou Sun 2022-01-17
合格率
時間提出受け入れ受け入れ(%)
2008701724.3%
2007742229.7%
2006902628.9%
2005732635.6%
2003674262.7%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
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 & 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 Things2022-05-072022-06-102022-08-22
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
Journal of Control Theory and Applications Springer1672-6340
IET Control Theory & Applications2.048IET1751-8644
International Journal of Circuit Theory and Applications1.554Wiley-Blackwell0098-9886
International Journal of Computer Applications in TechnologyInderscience0952-8091
Journal of Optimization Theory and Applications2.249Springer0022-3239
Applied Informatics Springer2196-0089
cJournal of Web EngineeringRinton Press1540-9589
International Journal of Computer Science Applications & Information Technologies AR Publication2347-453X
Advances and Applications in Bioinformatics and ChemistryDove Medical Press1178-6949
Computer Applications in Engineering Education1.435Wiley-Blackwell1061-3773
おすすめ