The following pages link to (Q3145291):
Displaying 5 items.
- Meta-resolution: An algorithmic formalisation (Q671650) (← links)
- A dual algorithm for the satisfiability problem (Q750165) (← links)
- The resolution game: a dual selves perspective (Q2344990) (← links)
- Counting for satisfiability by inverting resolution (Q2386352) (← links)
- On a self-dual notation in automated reasoning (Q2770672) (← links)