Constraint solving for proof planning (Q1774557): Difference between revisions

@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mozart
@@ Property / describes a project that uses: Mozart / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathpert
@@ Property / describes a project that uses: Mathpert / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oz
@@ Property / describes a project that uses: Oz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathWeb
@@ Property / describes a project that uses: MathWeb / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-004-2725-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1979721470
@@ Property / OpenAlex ID: W1979721470 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957169
@@ Property / cites work: Q3957169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4730771
@@ Property / cites work: Q4730771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217949
@@ Property / cites work: Q4217949 / rank @@
+Normal rank
@@ Property / cites work @@
+Challenge problems in elementary calculus
@@ Property / cites work: Challenge problems in elementary calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+New methods to color the vertices of a graph
@@ Property / cites work: New methods to color the vertices of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+A resolution principle for constrained logics
@@ Property / cites work: A resolution principle for constrained logics / rank @@
+Normal rank
@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+A theory of abstraction
@@ Property / cites work: A theory of abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing approaches to the exploration of the domain of residue classes.
+Normal rank
@@ Property / cites work @@
+The Heine-Borel challenge problem. In honor of Woody Bledsoe
+Normal rank
@@ Property / cites work @@
+Q2767093
@@ Property / cites work: Q2767093 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based proof planning
@@ Property / cites work: Knowledge-based proof planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767077
@@ Property / cites work: Q2767077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809051
@@ Property / cites work: Q4809051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518867
@@ Property / cites work: Q4518867 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining linear programming and satisfiability solving for resource planning
+Normal rank
@@ Property / cites work @@
+Q4718428
@@ Property / cites work: Q4718428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809049
@@ Property / cites work: Q4809049 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1774557