activity
20102026
most citedSolving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer

203 citations · 322 across the 18 of their papers we have counts for

collaborators
Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012★ 12 cited

Generalising unit-refutation completeness and SLUR via nested input resolution

Matthew Gwynne, Oliver Kullmann

We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on the classes SLUR (Single Lookahead Unit Refutation), introduced in 1995, and UC (Unit refutation Complete), i…