"Making constraint solvers more usable: overconstraint problem."

Christoph M. Hoffmann, Meera Sitharam, Bo Yuan (2004)

Details and statistics

DOI: 10.1016/S0010-4485(03)00099-X

access: closed

type: Journal Article

metadata version: 2020-02-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics