Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Automated theorem proving / Model theory / Predicate logic / Semantics / Boolean algebra / Resolution / Cutting-plane method / First-order logic / Propositional calculus


First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213
Add to Reading List

Document Date: 2009-10-20 18:53:39


Open Document

File Size: 190,69 KB

Share Result on Facebook