AUTOMATING PSEUDO-BOOLEAN INFERENCE WITHIN A DPLL FRAMEWORK by HEIDI DIXON

First Page		Document Content
Date: 2006-12-03 23:20:59		AUTOMATING PSEUDO-BOOLEAN INFERENCE WITHIN A DPLL FRAMEWORK by HEIDI DIXON Add to Reading List Source URL: www.cirl.uoregon.edu Download Document from Source Website File Size: 769,29 KB Share Document on Facebook