39 citations · 161 across the 21 of their papers we have counts for
1 paper · 2 filters
Michael Codish, Yoav Fekete, Amit Metodi
BEE is a compiler which facilitates solving finite domain constraints by encoding them to CNF and applying an underlying SAT solver. In BEE constraints are modeled as Boolean funct…