Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.