REF-ARF: A system for solving problems stated as procedures
From MaRDI portal
Cites work
- Backtrack Programming
- Computer Design of Electricity Supply Networks by a Heuristic Method
- scientific article; zbMATH DE number 3254905 (Why is no real title available?)
- scientific article; zbMATH DE number 3286662 (Why is no real title available?)
- scientific article; zbMATH DE number 3298341 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3339325 (Why is no real title available?)
- scientific article; zbMATH DE number 3403724 (Why is no real title available?)
- scientific article; zbMATH DE number 3189732 (Why is no real title available?)
- Nondeterministic Algorithms
- REF-ARF: A system for solving problems stated as procedures
Cited in
(23)- Constraint satisfaction using constraint logic programming
- Alternative descriptions in line drawing analysis
- A relaxation approach to splitting in an automatic theorem prover
- Inferring the positions of bodies from specified spatial relationships
- \(\Pi\)-representation: A clause representation for parallel search
- Consistency in networks of relations
- Backtracking in recursive computations
- On the arc consistency problem
- On the evolution of artificial intelligence
- The correctness of nondeterministic programs
- REF-ARF: A system for solving problems stated as procedures
- A paradigm for reasoning by analogy
- Computer proofs of limit theorems
- Breadth-first search: some surprising results
- The complexity of constraint satisfaction revisited
- Symbolic reasoning among 3-D models and 2-D images
- Planning with incomplete information (invited paper)
- Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms
- A new approach on solving 3-satisfiability
- Constraint reasoning
- Interval propagation to reason about sets: Definition and implementation of a practical language
- New methods for proving the impossibility to solve problems through reduction of problem spaces
- CAL: A theoretical background of constraint logic programming and its applications
This page was built for publication: REF-ARF: A system for solving problems stated as procedures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2541849)
