posted by user: fslivovsky || 2648 views || tracked by 7 users: [display]

SAT 2023 : The 26th International Conference on Theory and Applications of Satisfiability Testing

FacebookTwitterLinkedInGoogle


Conference Series : Theory and Applications of Satisfiability Testing
 
Link: http://satisfiability.org/SAT23
 
When Jul 4, 2023 - Jul 8, 2023
Where Alghero, Italy
Abstract Registration Due Mar 10, 2023
Submission Deadline Mar 17, 2023
Notification Due May 15, 2023
Final Version Due Jun 4, 2023
Categories    computer science   logic   artificial intelligence
 

Call For Papers

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

Related Resources

SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
CLNLP 2025   2025 2nd International Conference on Computational Linguistics and Natural Language Processing
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
DeLTA 2025   6th International Conference on Deep Learning Theory and Applications
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ICMCT&A 2025   ICMCT&A´25 - The 2025 International Conference on Marketing, Communication, Technologies and Applications
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
21st AIAI 2025   21st (AIAI) Artificial Intelligence Applications and Innovations
Ei/Scopus-CISDS 2024   2024 3rd International Conference on Communications, Information System and Data Science (CISDS 2024)