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 |
-
A design and a code invariant under the simple group Co3
Haemers, W.H., (1990)
-
Adams and Eves : high school math and the gender gap in Economics majors
Bertocchi, Graziella, (2023)
-
A continuous time framework for sequential goal-based wealth management
Capponi, Agostino, (2024)
- 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 ...