HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.