Book Chapter

Herbrand constraints in HAL

B Demoen, MG de la Banda, W Harvey, K Marriott, D Overton, PJ Stuckey, M Bruynooghe, KK Lau

Lecture Notes in Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2004

Keywords

Science & Technology
Computer Science
Computer Science, Theory & Methods
Technology