SAT Live!

keep up to date with research on the satisfiability problem

  • Home
  • About
  • How to contribute
  • Newcomer to SAT
  • Solvers

FLoC 2018 workshops call for papers opened

Feb 16, 2018 • Daniel Le Berre CFP  Deadline 

The call for papers for the 79 workshops organized within the Federated Logic Conference are now available.

The three workshops associated to the SAT conference are Pragmatics of SAT, Quantified Boolean Formulas and Beyond and Proof Complexity.


More information on this external web site ...

Our scientific association

The SAT 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

Sat Live! has been created and hosted from 2000 to 2014 by the Innovation and Enterprise Research Laboratory at the University of Technology, Sydney. It is now managed by Daniel Le Berre from Artois University, France.