Peixin Zhong Margaret Martonosi Pranav Ashar Sharad Malik Solving Boolean Satisfiability with Dynamic Hardware Configurations. 326-335 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1482&spage=0326 1998 conf/fpl/1998 FPL db/conf/fpl/fpl1998.html#ZhongMAM98