7 results on '"Hooker, J. N."'
Search Results
2. Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
3. Boolean regression
4. New methods for computing inferences in first order logic
5. A Declarative Modeling Framework that Integrates Solution Methods
6. Generalized resolution and cutting planes
7. Single-facility scheduling by logic-based Benders decomposition
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.