Searching for authors named "Allen Van Gelder" – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Generalizations of Watched Literals for Backtracking Search
- …Generalizations of Watched Literals for Backtracking Search Allen Van Gelder 237 B.E., University…
- Cited by 4 (1 self) – Add To MetaCart
-
Extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution
- … and Postorder Resolution Allen Van Gelder 237 B.E., University of California, Santa Cruz, CA 95064 E-mail avg…
- Cited by 7 (3 self) – Add To MetaCart
-
Foundations of Aggregation in Deductive Databases
- …Foundations of Aggregation in Deductive Databases Allen Van Gelder Computer Science Dept…
- Cited by 23 (1 self) – Add To MetaCart
-
Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver
- …Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver Allen Van Gelder 237 B…
- Cited by 2 (0 self) – Add To MetaCart
-
A satisfiability tester for non-clausal propositional calculus
- …A Satisfiability Tester for Non-Clausal Propositional Calculus Allen Van Gelder Computer Science…
- Cited by 15 (1 self) – Add To MetaCart
-
Propositional search with k-clause introduction can be polynomially simulated by resolution
- … Van Gelder University of California, Santa Cruz E-mail avg@(email omitted);. November 15, 1997 Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Complexity analysis of propositional resolution with autarky pruning
- …Complexity Analysis of Propositional Resolution with Autarky Pruning Allen Van Gelder Abstract…
- Cited by 2 (2 self) – Add To MetaCart
-
A Tutorial on the Well-Founded Semantics
- …ATutorial on the Well-Founded Semantics Allen Van Gelder Computer Science Dept., University…
- Add To MetaCart
-
Autarky pruning in propositional model elimination reduces failure redundancy
- …Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy Allen Van Gelder…
- Cited by 9 (1 self) – Add To MetaCart
-
Simultaneous Construction of Refutations and Models for Propositional Formulas
- …Simultaneous Construction of Refutations and Models for Propositional Formulas Allen Van Gelder…
- Cited by 8 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
