@article{d73f2aa49d7041a79aee7f0a427e2719,
title = "The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving: An Experimental Study",
keywords = "backdoor sets, branching heuristics, clause learning, problem structure, propositional satisfiability, backdoor sets, branching heuristics, clause learning, problem structure, propositional satisfiability, backdoor sets, branching heuristics, clause learning, problem structure, propositional satisfiability",
author = "Matti J{\"a}rvisalo and Ilkka Niemel{\"a}",
year = "2008",
doi = "10.1016/j.jalgor.2008.02.005",
language = "English",
volume = "63",
pages = "90--113",
journal = "Journal of Algorithms",
issn = "0196-6774",
publisher = "Academic Press",
number = "1-3",
}