HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Valentin Mayer-Eichberger

Publications
SAT Encodings for the Car Sequencing Problem
Valentin Mayer-Eichberger and Toby Walsh
In:POS-13. Pragmatics of SAT 2013

Keyphrases

Application of SAT, Car Sequencing, Decomposition into CNF, SAT encodings.

Copyright © 2012-2025 easychair.org. All rights reserved.