POS Home Page
Overview
The aim of the POS 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.
Detailed information on POS-14 can be found on the POS-14 website.