The following pages link to Bertrand Mazure (Q513328):
Displayed 15 items.
- About some UP-based polynomial fragments of SAT (Q513329) (← links)
- On getting rid of the preprocessing minimization step in MUC-finding algorithms (Q903912) (← links)
- Using local search to find MSSes and MUSes (Q1042194) (← links)
- Boosting complete techniques thanks to local search methods (Q1267775) (← links)
- About the incremental validation of first-order stratified knowledge-based decision-support systems (Q1857059) (← links)
- Local-search extraction of mUSes (Q2385174) (← links)
- On Freezing and Reactivating Learnt Clauses (Q3007683) (← links)
- Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method (Q3455761) (← links)
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability (Q3523066) (← links)
- Using Boolean Constraint Propagation for Sub-clauses Deduction (Q3524222) (← links)
- Eliminating Redundant Clauses in SAT Instances (Q3612408) (← links)
- (Q4409859) (← links)
- Boosting Local Search Thanks to cdcl (Q4933326) (← links)
- Does This Set of Clauses Overlap with at Least One MUS? (Q5191099) (← links)
- Theory and Applications of Satisfiability Testing (Q5714743) (← links)