Generalizing consistency and other constraint properties to quantified constraints
Bordeaux, Lucas, Cadoli, Marco, Mancini, ToniVolume:
10
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/1507244.1507247
Date:
April, 2009
File:
PDF, 215 KB
english, 2009