Compiling finite domain constraints to SAT with BEE: The director's cut

Michael Codish, Yoav Fekete, Amit Metodi

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Compiling finite domain constraints to SAT with BEE: The director's cut'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science