Using a choice function for guiding enumeration in constraint solving

Broderick Crawford, Carlos Castroy, Eric Monfroyyz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Fingerprint

Dive into the research topics of 'Using a choice function for guiding enumeration in constraint solving'. Together they form a unique fingerprint.

Engineering & Materials Science