Whose side are you on? Finding solutions in a biased search-tree.

Marijn Heule Hans van Maaren Whose side are you on? Finding solutions in a biased search-tree. 117-148 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_7_Heule.pdf db/journals/jsat/jsat4.html#HeuleM08a