Skip to content

New Bounds for MAX-SAT by Clause Learning.

Alexander S. Kulikov, Konstantin Kutzkov

Year2007
ProceedingsCSR

Browse the full CSR paper archive.