9 results on '"Maria Luisa Bonet"'
Search Results
2. Polynomial Calculus for MaxSAT.
3. Equivalence Between Systems Stronger Than Resolution.
4. DRMaxSAT with MaxHS: First Contact.
5. An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning.
6. Solving (Weighted) Partial MaxSAT through Satisfiability Testing.
7. Efficiently Calculating Evolutionary Tree Measures Using SAT.
8. Mapping CSP into Many-Valued SAT.
9. A Complete Calculus for Max-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.