Keyword:SAT encodings

Papers
SAT Encodings for the Car Sequencing Problem Valentin Mayer-Eichberger and Toby Walsh In:POS-13. Pragmatics of SAT 2013
Exotic Semi-Ring Constraints Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl and Johannes Waldmann In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories