The following pages link to (Q3682461):
Displaying 6 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- The NP-hardness of finding a directed acyclic graph for regular resolution (Q924157) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- Unrestricted resolution versus N-resolution (Q1185013) (← links)
- The Mechanical Verification of a DPLL-Based Satisfiability Solver (Q5179007) (← links)
