18 results on '"Hooker, J. N."'
Search Results
2. Compact representation of near-optimal integer programming solutions
3. Projection, consistency, and George Boole
4. Graph coloring inequalities from all-different systems
5. An Integrated Method for Planning and Scheduling to Minimize Tardiness
6. A Hybrid Method for the Planning and Scheduling
7. Partial Instantiation Methods for Inference in First-Order Logic
8. Tight representation of logical constraints as cardinality rules
9. Inference Duality as a Basis for Sensitivity Analysis
10. Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
11. Resolution and the integrality of satisfiability problems
12. Branching rules for satisfiability
13. Testing heuristics: We have it all wrong
14. Boolean regression
15. New methods for computing inferences in first order logic
16. Generalized resolution for 0–1 linear inequalities
17. Branch-and-cut solution of inference problems in propositional logic
18. Generalized resolution and cutting planes
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.