DMCA

Efficient constraint propagation engines

by Christian Schulte , Peter J. Stuckey
Venue:Transactions on Programming Languages and Systems
Citations:62 - 9 self