Pages that link to "Item:Q2749860"
From MaRDI portal
The following pages link to Resolution versus search: Two strategies for SAT (Q2749860):
Displaying 5 items.
- Meta-resolution: An algorithmic formalisation (Q671650) (← links)
- Resolution versus search: Two strategies for SAT (Q1977760) (← links)
- A Computational Study of Satisfiability Algorithms for Propositional Logic (Q4319327) (← links)
- Theory and Applications of Satisfiability Testing (Q5325859) (← links)
- Advances in Artificial Intelligence (Q5901317) (← links)