A Computational Stufy of Satisfiability Algorithms for Propositional Logic.
Year of publication: |
1991
|
---|---|
Authors: | Hooker, J.N. ; harche, F. ; Thompson, G.L. |
Institutions: | Carnegie Mellon University, Tepper School of Business |
Subject: | mathematics |
-
Hodgson, Geoffrey M., (2013)
-
Effect of class size on girls' academic performance in science, mathematics and technology subjects
Musau, Lydia M., (2013)
-
Arnold, Ivo J. M., (2014)
- More ...
-
THE COLUMN SUBSTRACTION ALGORITHM: AN EXACT METHOD FOR SOLVING THE WEIGHTED SET COVERING PROBLEM
HARCHE, F., (1989)
-
AN EXACT COLUMN SUBTRACTION ALGORITHM FOR SET PARTIONING AND SET PACKING PROBLEMS
THOMPSON, G.L., (1989)
-
POLYHEDRAL STUDY OF THE CAPACITATED VEHICLE ROUTING PROBLEM
CORNUEJOLS, G., (1989)
- More ...