Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Håkan Kjellerstrand
Publications
Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited
Neng-Fa Zhou
and
Håkan Kjellerstrand
EasyChair Preprint 154
Keyphrases
BDD
,
Constraint Programming
,
PB constraints
,
SAT encoding
.
Copyright © 2012-2024 easychair.org. All rights reserved.
