Eliminating Redundancies in SAT Search Trees.

Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ric Grgoire

Browse the full ICTAI paper archive.