The aim of the pragmatics of SAT workshop is to allow researchers concerned with the design of efficient SAT solvers at large or SAT encodings to meet and discuss about their latest results. The workshop is also the place for users of SAT technology to present their applications.

The workshop is a co-located event of the SAT conference.

It took place at the following locations:

The next edition will be take the opportunity that SAT is collocated with CP and ICLP in Melbourne to enlarge the scope of the workshop to constraint reasoning with Pragmatics of Constraint Reasoning

For any questions related to the workshop, the preferred solution to contact the organizers is to send an email to pos at

Daniel Le Berre                               Allen Van Gelder                                                 
Universite d'Artois                           University of California at Santa Cruz       
CRIL - CNRS UMR 8188                          School of Engineering                        
Rue Jean Souvraz SP 18 62307 Lens FRANCE      1156 High St, Santa Cruz, CA 95064, USA