ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

POS 2014 - 5th Pragmatics of SAT Workshop (POS 2014)

Date2014-07-18

Deadline2014-04-17

VenueVienna, Austria Austria

Keywords

Websitehttps://vsl2014.at/meetings/POS-index.html

Topics/Call fo Papers

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.

Last modified: 2014-03-21 16:32:08