Kazuo Iwama Suguru Tamaki Exploiting Partial Knowledge of Satisfying Assignments. 118-128 2001 conf/wae/2001 Algorithm Engineering http://link.springer.de/link/service/series/0558/bibs/2141/21410118.htm db/conf/wae/wae2001.html#IwamaT01