Analyzing Multiple Conflicts in SAT: An Experimental Evaluation.

Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao

Browse the full LPAR paper archive.