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

Active Bibliography

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