Fourier–Motzkin elimination

#	Item
1	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic Sergey Berezin, Vijay Ganesh, and David L. Dill Stanford University {berezin,vganesh,dill}@stanford.edu Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2007-03-24 22:33:28 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Fourier–Motzkin elimination Satisfiability Modulo Theories Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
2	Satisfiability Checking Fourier–Motzkin Variable Elimination Prof. Dr. Erika Ábrahám Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2011-08-22 10:21:17 Mathematical logic Theoretical computer science Mathematics Constraint programming Electronic design automation Formal methods Logical truth Model theory Satisfiability