Search

Your search keyword '"Levy, Jordi"' showing total 26 results

Search Constraints

Start Over You searched for: Author "Levy, Jordi" Remove constraint Author: "Levy, Jordi" Publication Type eBooks Remove constraint Publication Type: eBooks
26 results on '"Levy, Jordi"'

Search Results

1. Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances

2. Equivalence Between Systems Stronger Than Resolution

3. Nominal Unification of Higher Order Expressions with Recursive Let

4. Using Community Structure to Detect Relevant Learnt Clauses

5. The Fractal Dimension of SAT Formulas

6. Improving WPM2 for (Weighted) Partial MaxSAT

7. Improving SAT-Based Weighted MaxSAT Solvers

8. The Community Structure of SAT Formulas

9. On the Structure of Industrial SAT Instances

10. Solving (Weighted) Partial MaxSAT through Satisfiability Testing

11. Nominal Unification from a Higher-Order Perspective

12. Sequence Unification Through Currying

13. Mapping CSP into Many-Valued SAT

14. A Complete Calculus for Max-SAT

15. Stratified Context Unification Is NP-Complete

16. Bounded Second-Order Unification Is NP-Complete

17. Well-Nested Context Unification

18. Monadic Second-Order Unification Is NP-Complete

Catalog

Books, media, physical & digital resources