×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [planar graphsexample]
Home >
planar graphsexample
Compact Propositional Encoding of First Order Theories
31 views
Connecting Learning and Logic
42 views
Connecting Learning and Logic Eyal Amir, Cambridge Present., May 2006 1 Eyal Amir U. of Illinois, Urbana-Champaign Joint work with: Dafna Shahaf, Allen.
223 views
Compact Propositional Encoding of First Order Theories
26 views