BRANCH-AND-CUT SOLUTION OF INFERENCE PROBLEMS IN PROPOSITIONAL LOGIC
Year of publication: |
1989
|
---|---|
Authors: | HOOKER, J.N. ; FEDJKI, C. |
Institutions: | Carnegie Mellon University, Tepper School of Business |
Subject: | linear programming | testing | statistical inference |
-
Optimal pooling and distributed inference for the tail index and extreme quantiles
Daouia, Abdelaati, (2022)
-
Factors affecting police station efficiency : DEA in police logistics
Sinuany-Stern, Zilla, (2019)
-
Inference for large-scale linear systems with known coefficients
Fang, Zheng, (2023)
- More ...
-
DOES ARTIFICIAL INTELLIGENCE REST ON A MISTAKE?
HOOKER, J.N., (1989)
-
Branching Rules for Satisfiabiblity.
Hooker, J.N., (1994)
-
Logic-Based Methods for Optimization: A Tutorial.
Hooker, J.N., (1994)
- More ...