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

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics