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

Citation metrics