VSL 2014: VIENNA SUMMER OF LOGIC 2014
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.

Call for Papers

Call for Papers

Organization

Program Committee