The following pages link to Darwin (Q16359):
Displaying 6 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
