13 results on '"Van Gelder, Allen"'
Search Results
2. Another look at graph coloring via propositional satisfiability
3. A perspective on certain polynomial-time solvable classes of satisfiability
4. Combining Preorder and Postorder Resolution in a Satisfiability Solver
5. Partitioning Methods for Satisfiability Testing on Large Formulas
6. Complexity analysis of propositional resolution with autarky pruning
7. Commonsense axiomatizations for logic programs
8. The alternating fixpoint of logic programs with negation
9. Modeling simultaneous events with default reasoning and tight derivations
10. A satisfiability tester for non-clausal propositional calculus
11. Negation as failure using tight derivations for general logic programs
12. Efficient loop detection in prolog using the tortoise-and-hare technique
13. Packet distribution on a ring
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.