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

771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
3 Semantics of Constraint Logic Programs with Bounded Quantifiers – Martin Argenius - 1998
14 Constraints: A Uniform Approach to Aliasing and Typing – Leslie Lamport, Fred B. Schneider - 1984
12 A Methodology for Managing Hard Constraints in CLP Systems – Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap - 1991
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
A Conservative Approach to Meta-Programming in Constraint Logic Programming – Pierre Lim And, Pierre Lim, Joachim Schimpf - 1993
1 Control in Parallel Constraint Logic Programming – Naoki Kobayashi, Satoshi Matsuoka, Akinori Yonezawa - 1991
13 Fourier's Elimination: Which to Choose? – Jean-louis Imbert - 1993
1 A Constraint-based Parallel Programming Language – Ajita John, J. C. Browne - 1995
67 Hierarchical Constraint Logic Programming – Molly Ann Wilson - 1993
67 Constraint Hierarchies and Logic Programming – Alan Borning, Michael Maher, Amy Martindale, Molly Wilson - 1989
144 Constraint Hierarchies – Alan Borning, Bjorn Feldman-Benson, Molly Wilson - 1992
372 Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992
5 Disjunctive Programming And Cooperating Solvers – Ken Mcaloon, Carol Tretkoff, Gerhard Wetzel - 1998
12 Logic, Optimization, and Constraint Programming – J.N. Hooker - 2000
6 Optimization and Relaxation in Logic Languages – Kannan Govindarajan - 1997
32 Preference Logic Programming – Kannan Govindarajan, Bharat Jayaraman, Surya Mantha - 1995
1 An Incremental Constraint-Based Object Layout Algorithm and Its Implementation – Oster - 1995
83 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm – Michael Sannella - 1993