Finding Small Backdoors in SAT Instances.

Zijie Li, Peter van Beek

Browse the full AI paper archive.