Pages that link to "Item:Q5415765"
From MaRDI portal
The following pages link to Improved Separations of Regular Resolution from Clause Learning Proof Systems (Q5415765):
Displayed 5 items.
- Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers (Q2818010) (← links)
- On Linear Resolution (Q5015599) (← links)
- On CDCL-Based Proof Systems with the Ordered Decision Strategy (Q5097511) (← links)
- New stochastic local search approaches for computing preferred extensions of abstract argumentation (Q5145445) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)