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

Cached

Download Links

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

Documents Related by Co-Citation

11073 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
387 Constraint Satisfaction in Logic Programming. Logic Programming Series – Pascal Van Hentenryck - 1989
892 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
646 Diagnosing Multiple Faults – J De Kleer, Williams BC - 1987
1005 Consistency in networks of relations – A Mackworth - 1977
446 Planning in a Hierarchy of Abstraction Spaces – E D Sacerdoti - 1174
428 Networks of constraints : Fundamental properties and applications to picture processing. Information sciences – U Montanari - 1974
307 The Clp(R) Language and System – J Jaffar, S Michaylov, P J Stuckey, R H C Yap - 1992