39 citations · 161 across the 21 of their papers we have counts for
1 paper · 2 filters
Amit Metodi, Michael Codish
We present BEE, a compiler which enables to encode finite domain constraint problems to CNF. Using BEE both eases the encoding process for the user and also performs transformation…