14 results on '"Cadoli, Marco"'
Search Results
2. On the Separability of Subproblems in Benders Decompositions
3. Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems
4. Exploiting Functional Dependencies in Declarative Problem Specifications
5. Proposal-Based Negotiation in Convex Regions
6. Combining Relational Algebra, SQL, and Constraint Programming
7. The Expressive Power of Binary Linear Programming
8. Propositional Lower Bounds: Generalization and Algorithms
9. np-spec: An Executable Specification Language for Solving All Problems in NP
10. Datalog and description logics: Expressive power
11. On compact representations of propositional circumscription
12. Tractable Reasoning in Artificial Intelligence
13. Approximate entailment
14. Compiling Problem Specifications into SAT
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.