DMCA

The log-support encoding of CSP into SAT (2007)

Cached

Download Links

by Marco Gavanelli
Venue:In Proceedings of CP2007
Citations:12 - 0 self