DMCA

Deriving Filtering Algorithms from Constraint Checkers (2004)

by Nicolas Beldiceanu , Mats Carlsson , Thierry Petit
Venue:Principles and Practice of Constraint Programming (CP’2004), volume 3258 of LNCS
Citations:51 - 11 self