![](/img/cover-not-exists.png)
Trends in Constraint Programming || Extending a CP Solver with Congruences as Domains for Program Verification
Benhamou, Frdric, Jussien, Narendra, O'Sullivan, BarryVolume:
10.1002/97
Year:
2007
DOI:
10.1002/9780470612309.ch21
File:
PDF, 169 KB
2007