The following pages link to Computer Science Logic (Q5311278):
Displaying 4 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations (Q3455767) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)
