@article{ec9f39486a904d539ce7f670077418aa,
title = "Limitations of Restricted Branching in Clause Learning",
keywords = "backdoor sets, branching heuristics, clause learning, DPLL, problem structure, proof complexity, propositional satisfiability, backdoor sets, branching heuristics, clause learning, DPLL, problem structure, proof complexity, propositional satisfiability, backdoor sets, branching heuristics, clause learning, DPLL, problem structure, proof complexity, propositional satisfiability",
author = "Matti J{\"a}rvisalo and Tommi Junttila",
year = "2009",
language = "English",
volume = "14",
pages = "325--356",
journal = "Constraints",
issn = "1572-9354",
publisher = "Springer",
number = "3",
}