Narrow search
Showing 1 - 5 of 5
Cover Image
BRANCH-AND-CUT SOLUTION OF INFERENCE PROBLEMS IN PROPOSITIONAL LOGIC
HOOKER, J.N.; FEDJKI, C. - Carnegie Mellon University, Tepper School of Business - 1989
Persistent link: https://www.econbiz.de/10005102245
Cover Image
EXTENDED HORN SETS IN PROPOSITIONAL LOGIC
CHANDRU, V.; HOOKER, J.N. - Carnegie Mellon University, Tepper School of Business - 1988
Persistent link: https://www.econbiz.de/10005073650
Cover Image
THE COLUMN SUBSTRACTION ALGORITHM: AN EXACT METHOD FOR SOLVING THE WEIGHTED SET COVERING PROBLEM
HARCHE, F.; THOMPSON, G.L. - Carnegie Mellon University, Tepper School of Business - 1989
Persistent link: https://www.econbiz.de/10005027524
Cover Image
AN EXACT COLUMN SUBTRACTION ALGORITHM FOR SET PARTIONING AND SET PACKING PROBLEMS
THOMPSON, G.L.; HARCHE, F. - Carnegie Mellon University, Tepper School of Business - 1989
Persistent link: https://www.econbiz.de/10005027547
Cover Image
A MATHEMATICLA PROGRAMMING MODEL FOR PROBABILISTIC LOGIC
HOOKER, J.N. - Carnegie Mellon University, Tepper School of Business - 1988
Persistent link: https://www.econbiz.de/10005029132