HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2025 easychair.org. All rights reserved.