@inproceedings{a387e4bfdaf2417084f3421521dfc2ac,
title = "Restricted Branching in Clause Learning DPLL",
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",
year = "2007",
language = "English",
pages = "55--60",
editor = "Brahim Hnich and Kostas Stergiou",
booktitle = "Doctoral Programme of the Thirteenth International Conference on Principles and Practice of Constraint Programming, CP 2007, Providence RI, USA, 23-27, 2007",
}