QUICKXPLAIN
From MaRDI portal
Cited in
(54)- Reasoning from last conflict(s) in constraint programming
- Progress towards the Holy Grail
- Minimal sets on propositional formulae. Problems and reductions
- Enumerating justifications using resolution
- Pellet
- Strengthening of feasibility cuts in logic-based benders decomposition
- SAT-based rigorous explanations for decision lists
- Memory-limited model-based diagnosis
- SOCRATES
- linprog
- Ltur
- AMUSE
- HermiT
- CEL
- MUSer2
- Reasoning about strong inconsistency in ASP
- Fast, flexible MUS enumeration
- MCS Extraction with Sublinear Oracle Queries
- BEACON
- Just
- LoCo—A Logic for Configuration Problems
- On improving MUS extraction algorithms
- Propositional SAT solving
- Explaining hierarchical multi-linear models
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- SAT-Based Horn Least Upper Bounds
- ELK
- Efficient combination of decision procedures for MUS computation
- OntoDebug
- MERGEXPLAIN
- PULi
- EL2MCS
- asprin
- spock
- MiniBrass
- circumscriptino
- hclasp
- LP2SAT
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- The KB paradigm and its application to interactive configuration
- Algorithms for computing minimal equivalent subformulas
- Deletion presolve for accelerating infeasibility diagnosis in optimization models
- HiRise
- Debugging non-ground ASP programs: technique and graphical tools
- Preference-Based Problem Solving for Constraint Programming
- Optimal resource allocation and scheduling for the CELL BE platform
- HgMUS
- Preference reasoning with soft constraints in constraint-based recommender systems
- Learning cluster-based structure to solve constraint satisfaction problems
- Extending linear relaxation for non-square matrices and soft constraints
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- A constraint programming approach to the additional relay placement problem in wireless sensor networks
- Reformulating table constraints using functional dependencies-an application to explanation generation
This page was built for software: QUICKXPLAIN
