Pages that link to "Item:Q2541849"
From MaRDI portal
The following pages link to REF-ARF: A system for solving problems stated as procedures (Q2541849):
Displaying 23 items.
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- New methods for proving the impossibility to solve problems through reduction of problem spaces (Q693286) (← links)
- CAL: A theoretical background of constraint logic programming and its applications (Q908680) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Alternative descriptions in line drawing analysis (Q1210913) (← links)
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- Inferring the positions of bodies from specified spatial relationships (Q1216190) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- Consistency in networks of relations (Q1231783) (← links)
- Backtracking in recursive computations (Q1238623) (← links)
- On the arc consistency problem (Q1964359) (← links)
- On the evolution of artificial intelligence (Q2540658) (← links)
- The correctness of nondeterministic programs (Q2541847) (← links)
- REF-ARF: A system for solving problems stated as procedures (Q2541849) (← links)
- A paradigm for reasoning by analogy (Q2549584) (← links)
- Computer proofs of limit theorems (Q2554244) (← links)
- Breadth-first search: some surprising results (Q2559927) (← links)
- The complexity of constraint satisfaction revisited (Q2675271) (← links)
- Symbolic reasoning among 3-D models and 2-D images (Q2676556) (← links)
- Planning with Incomplete Information (Q3003424) (← links)
- Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms (Q3509425) (← links)
- A new approach on solving 3-satisfiability (Q6560377) (← links)
- Constraint reasoning (Q6602253) (← links)
