Connecting Learning and Logic Eyal Amir, Cambridge Present., May 2006 1 Eyal Amir U. of Illinois, Urbana-Champaign Joint work with: Dafna Shahaf, Allen.
Compact Propositional Encoding of First Order Theories
Connecting Learning and Logic
