On Improving MUS Extraction Algorithms (Q3007681): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3604000 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On exact selection of minimally unsatisfiable subformulae / rank
 
Normal rank
Property / cites work
 
Property / cites work: Locating Minimal Infeasible Constraint Sets in Linear Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local-search extraction of mUSes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using local search to find MSSes and MUSes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Redundancy in logic. I: CNF propositional formulae / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithms for computing minimal unsatisfiable subsets of constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Searching for Autarkies to Trim Unsatisfiable Clause Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalizing Core-Guided Max-SAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding Guaranteed MUSes Fast / rank
 
Normal rank

Latest revision as of 04:51, 4 July 2024

scientific article
Language Label Description Also known as
English
On Improving MUS Extraction Algorithms
scientific article

    Statements

    Identifiers