Eyal Amir Computer Science Department University of Illinois / Institute of Information Technology / Technical University of Denmark / /
IndustryTerm
tractable filtering algorithm / logical filtering algorithm / dpll search / possible solution / circuit-based and cnf-based algorithms / /
Organization
Technical University of Denmark / Institute of Information Technology / University of Illinois / Urbana-Champaign / National Science Foundation / Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University / /
Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu