|
|
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
All CFPs on WikiCFP | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Present CFP : 2023 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
The 26th International Conference on Theory and Applications of
Satisfiability Testing (SAT 2023) Alghero, Italy, July 4-8, 2023. http://satisfiability.org/SAT23/ ====================================== IMPORTANT DATES ====================================== * Abstract Submission: March 10, 2023 * Paper Submission: March 17, 2023 * Author Response: April 26 – April 30, 2023 * Author Notification: May 15, 2023 ====================================== SCOPE ====================================== SAT is the premier annual meeting for researchers focusing on the theory and applications of propositional satisfiability, broadly construed. That includes Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), model counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Topics of interest include (but are not limited 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 ====================================== SUBMISSION ====================================== Submissions to SAT 2023 are invited in the following three categories: * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 8 pages, excluding references) Papers must be formatted in the LIPIcs LaTeX style. Submissions must be made electronically under the following link: https://easychair.org/conferences/?conf=sat2023 ====================================== For further information, please see the detailed call for papers on the SAT 2023 website: http://satisfiability.org/SAT23/pages/cfp.html | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
