SAT Live!

keep up to date with research on the satisfiability problem

Recent news about SAT for tag ASP

Jun 27, 2016 CFP 9th Workshop on Answer Set Programming and Other Computing Paradigms by Amelia Harrison CFP Deadline ASP
Submission deadline extended to July 4

Our scientific association

Our annual conference

SAT 2023, July 4-8 2023, Alghero, Sardinia

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

March 31, 2023: QBF Gallery'23
March 31, 2023: VCLA'23 Int. Student Awards
April 15, 2023: SAT Competition 2023
April 27, 2023: CP 2023 CfP
April 30, 2023: Core Challenge 2023
May 4, 2023: PoS'23 paper submission

SAT related books

Handbook of Satisfiability

The Art of Computer Programming Volume 4 Fascicle 6

Decision Procedures

The Satisfiability Problem

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Satisfiability & Verification

Test Pattern Generation using Boolean Proof Engines

Introduction to mathematics of satisfiability

Probleme SAT: progres et defis