@inproceedings{9d6b154ab4eb4e119e846e4239ab1416,
title = "Limitations of Restricted Branching in Clause Learning",
keywords = "branching heuristics, clause learning, proof complexity, propositional satisfiability, branching heuristics, clause learning, proof complexity, propositional satisfiability, branching heuristics, clause learning, proof complexity, propositional satisfiability",
author = "Matti J{\"a}rvisalo and Tommi Junttila",
year = "2007",
language = "English",
pages = "348--363",
editor = "Christian Bessiere",
booktitle = "13th International Conference on Principles and Practice of Constraint Programming (CP'07), Providence, Rhode Island, USA, 23-27.9.2007",
publisher = "Springer",
address = "Germany",
}