Detecting Embedded Horn Structure in Propositional Logic.
| Year of publication: |
1991
|
|---|---|
| Authors: | Chandru, V. ; Hooker, J.N. |
| Institutions: | Carnegie Mellon University, Tepper School of Business |
| Subject: | economic models | mathematics |
-
A Foundation of Location Theory : Exstence of Equilibrium, the Welfare Theorems and Core.
Berliant, M.C., (1991)
-
Limit Integration Theorems for Monotone Functions with Applications to Dynamic Programming.
Dutta, P., (1990)
-
An Algorithm to Find Out If the Intersection of M Convex Polyhedral Cones Has a Non Empty Interior
Boyer, M., (1976)
- More ...
-
EXTENDED HORN SETS IN PROPOSITIONAL LOGIC
CHANDRU, V., (1988)
-
Book Selection - Optimization Methods for Logical Inference
Chandru, V., (2000)
-
Boros, E., (1991)
- More ...