10 results on '"Levy, Jordi"'
Search Results
2. Structure features for SAT instances classification
3. Generating SAT instances with community structure
4. Resolution procedures for multiple-valued optimization
5. SAT-based MaxSAT algorithms
6. On the relation between Context and Sequence Unification
7. Resolution for Max-SAT
8. WITHDRAWN: On Chvátal rank and cutting planes proofs
9. On the Undecidability of Second-Order Unification
10. Bi-rewrite Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.