@inproceedings{b88d645382014f2593b061c1786b448a,
title = "On the power of top-down branching heuristics",
keywords = "branching heuristics, clause learning, DPLL, proof complexity, propositional satisfiability, branching heuristics, clause learning, DPLL, proof complexity, propositional satisfiability, branching heuristics, clause learning, DPLL, proof complexity, propositional satisfiability",
author = "Matti J{\"a}rvisalo and Tommi Junttila",
year = "2008",
language = "English",
pages = "304--309",
booktitle = "23rd AAAI Conference on Artificial Intelligence, Chicago, Illinois, USA, July 13-17, 2008",
publisher = "AAAI Press",
address = "United States",
}