POS 2014 - 5th Pragmatics of SAT Workshop (POS 2014)
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.
Other CFPs
- 2nd International Workshop on Quantified Boolean Formulas (QBF 2014)
- All about Proofs, Proofs for All (APPA 2014)
- 4th International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2014)
- 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR 2014)
- Workshop on Parallel Methods for Search Optimization (ParSearchOpt 2014)
Last modified: 2014-03-21 16:32:08