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