12 results on '"Mazure, Bertrand"'
Search Results
2. Multiple Contraction through Partial-Max-SAT
3. Solving E-Squaro through SAT-Coding
4. Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms
5. Computing prime implicants
6. Learning in Local Search
7. Local Autarkies Searching for the Dynamic Partition of CNF Formulae
8. On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
9. Reducing hard SAT instances to polynomial ones
10. Tracking MUSes and Strict Inconsistent Covers
11. A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs
12. Relax!
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.