The following pages link to Éric Grégoire (Q513327):
Displaying 33 items.
- About some UP-based polynomial fragments of SAT (Q513329) (← links)
- An intelligent system combining different resource-bounded reasoning techniques (Q698158) (← 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)
- Overriding subsuming rules (Q1951296) (← links)
- Local-search extraction of mUSes (Q2385174) (← links)
- (Q2737602) (← links)
- (Q2738997) (← links)
- Overriding Subsuming Rules (Q3011972) (← links)
- (Q3138701) (← links)
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE (Q3225378) (← links)
- A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES (Q3225383) (← links)
- (Q3455629) (← links)
- On Anti-subsumptive Knowledge Enforcement (Q3460039) (← links)
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability (Q3523066) (← links)
- Eliminating Redundant Clauses in SAT Instances (Q3612408) (← links)
- A Default Logic Patch for Default Logic (Q3638180) (← links)
- (Q4202916) (← links)
- (Q4244303) (← links)
- (Q4409859) (← links)
- (Q4536723) (← links)
- (Q4536743) (← links)
- (Q4546713) (← links)
- (Q4576212) (← links)
- Novelty in deductive databases (Q4716048) (← links)
- (Q4782064) (← links)
- PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS (Q4950604) (← links)
- Consensus-finding that preserves mutually conflicting hypothetical information from a same agent (Q5145440) (← links)
- Does This Set of Clauses Overlap with at Least One MUS? (Q5191099) (← links)
- (Q5414678) (← links)
- Theory and Applications of Satisfiability Testing (Q5714743) (← links)
