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 Pramatics 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 pragmaticsofsat.org.
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 http://www.cril.fr/~leberre http://www.cse.ucsc.edu/~avg