Narrow search
Showing 1 - 10 of 20
Cover Image
New Methods for Computing Inferences in First Order Logic.
Hooker, N.J. - Carnegie Mellon University, Tepper School of Business - 1991
Persistent link: https://www.econbiz.de/10005070193
Cover Image
Logic-Based Methods for Optimization: A Tutorial.
Hooker, J.N. - Carnegie Mellon University, Tepper School of Business - 1994
Persistent link: https://www.econbiz.de/10005073550
Cover Image
From Totality Unimodular to Bakanced 0 +- Matrices : A Family of Integer Polytopes.
Conforti, M.; Cornuejols, G.; Truemper, K. - Carnegie Mellon University, Tepper School of Business - 1992
Persistent link: https://www.econbiz.de/10005073554
Cover Image
Solving the Incremental Satisfiability Problem.
Hooker, N.J. - Carnegie Mellon University, Tepper School of Business - 1991
Persistent link: https://www.econbiz.de/10005073574
Cover Image
A Class of Logical Inference Problem Solvable by Linear Programming.
Conforti, M.; Cornuejols, G. - Carnegie Mellon University, Tepper School of Business - 1992
Persistent link: https://www.econbiz.de/10005073576
Cover Image
Verifying Logic Circuits by Benders Decomposition.
Boros, E.; Hong, Y. - Carnegie Mellon University, Tepper School of Business - 1991
Persistent link: https://www.econbiz.de/10005073629
Cover Image
Resolution and the Integrality of Satisfiability Polytopes.
Hooker, J.N. - Carnegie Mellon University, Tepper School of Business - 1992
Persistent link: https://www.econbiz.de/10005073643
Cover Image
Tight Representation of Logical Constraints as Cardinality Rules.
Hooker, J.N.; Yan, H. - Carnegie Mellon University, Tepper School of Business - 1992
Persistent link: https://www.econbiz.de/10005073653
Cover Image
On a Class of Routing and Scheduling Problems that are Soluble on Graphs.
Hooker, J.N.; Natraj, N.R. - Carnegie Mellon University, Tepper School of Business - 1991
Persistent link: https://www.econbiz.de/10005102244
Cover Image
Predicting Cause-Effect Relationships from Incomplete Discrete Observations.
Boros, E.; Hammer, P.L.; Hooker, J.N. - Carnegie Mellon University, Tepper School of Business - 1991
Persistent link: https://www.econbiz.de/10005102251