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

Active Bibliography

791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
594 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
609 Markov Logic Networks – Matthew Richardson, Pedro Domingos - 2006
456 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
399 Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992
354 Constraint Query Languages – Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz - 1992
349 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
334 Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm – Ilkka Niemelä
269 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991