QUICKXPLAIN
From MaRDI portal
Software:40339
swMATH28625MaRDI QIDQ40339FDOQ40339
Author name not available (Why is that?)
Cited In (31)
- LoCo—A Logic for Configuration Problems
- On Improving MUS Extraction Algorithms
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Fast, flexible MUS enumeration
- Optimal resource allocation and scheduling for the CELL BE platform
- Preference-Based Problem Solving for Constraint Programming
- Progress towards the Holy Grail
- Strengthening of feasibility cuts in logic-based benders decomposition
- Algorithms for computing minimal equivalent subformulas
- Debugging Non-ground ASP Programs: Technique and Graphical Tools
- Memory-limited model-based diagnosis
- Reasoning from last conflict(s) in constraint programming
- Explaining Hierarchical Multi-linear Models
- Minimal sets on propositional formulae. Problems and reductions
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
- Extending linear relaxation for non-square matrices and soft constraints
- Preference reasoning with soft constraints in constraint-based recommender systems
- Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models
- Reasoning about strong inconsistency in ASP
- Propositional SAT Solving
- A constraint programming approach to the additional relay placement problem in wireless sensor networks
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- The KB paradigm and its application to interactive configuration
- SAT-based rigorous explanations for decision lists
- Learning cluster-based structure to solve constraint satisfaction problems
- SAT-Based Horn Least Upper Bounds
- Efficient Combination of Decision Procedures for MUS Computation
- MCS Extraction with Sublinear Oracle Queries
- Reformulating table constraints using functional dependencies-an application to explanation generation
- Enumerating justifications using resolution
This page was built for software: QUICKXPLAIN
