Conference Proceedings

Building constraint solvers with HAL

MG De La Banda, D Jeffery, K Marriott, N Nethercote, PJ Stuckey, C Holzbaur

Lecture Notes in Computer Science | Published : 2001

DOI: 10.1007/3-540-45635-x_14

Citation metrics

4Scopus