CLP(R) and Some Electrical Engineering Problems (1991)

View PDF

Download Links

by Nevin Heintze , Spiro Michaylov , Peter Stuckey
Venue:Journal of Automated Reasoning
Citations:35 - 5 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
947 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
402 Constraint Satisfaction in Logic Programming – P van Hentenryck - 1988
313 The CLP(R) Language and System – J Jaffar, S Michaylov, P J Stuckey, R H C Yap - 1992
698 Diagnosing multiple faults – J de Kleer, B C Williams - 1987
1052 Consistency in Networks of Relations – A K Mackworth - 1977
470 Planning in a Hierarchy of Abstraction Spaces – E D Sacerdoti - 1974
444 Networks of Constraints: Fundamental Properties and Applications to Picture Processing – U Montanari - 1974