Using local search to find MSSes and MUSes

DOI10.1016/J.EJOR.2007.06.066zbMATH Open1176.90410OpenAlexW1998335356MaRDI QIDQ1042194FDOQ1042194

Authors: E. Grégoire, Bertrand Mazure, Cedric Piette 

Publication date: 7 December 2009

Published in: European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ejor.2007.06.066

Recommendations

• Local-search extraction of mUSes
• Theory and Applications of Satisfiability Testing
• Finding Guaranteed MUSes Fast
• Efficient combination of decision procedures for MUS computation
• Towards efficient MUS extraction

zbMATH Keywords

hybrid algorithmSATsatisfiabilitymssesmuses

Mathematics Subject Classification ID

Boolean programming (90C09)

Cites Work

• The complexity of facets resolved
• Theory and Applications of Satisfiability Testing
• An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On subclasses of minimal unsatisfiable formulas
• Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
• Theory and Applications of Satisfiability Testing
• Approximating minimal unsatisfiable subformulae by means of adaptive core search
• On exact selection of minimally unsatisfiable subformulae
• Title not available (Why is that?)

Cited In (14)

• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• On the measure of conflicts: Shapley inconsistency values
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Finding Guaranteed MUSes Fast
• Using inconsistency measures for estimating reliability
• Accelerated deletion-based extraction of minimal unsatisfiable cores
• A framework for handling logical inconsistencies in the fusion of Boolean knowledge bases
• Satisfiability by Maxwell-Boltzmann and Bose-Einstein statistical distributions
• THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE
• On improving MUS extraction algorithms
• Local-search extraction of mUSes
• On semidefinite least squares and minimal unsatisfiability
• Accelerating predicate abstraction by minimum unsatisfiable cores extraction

Uses Software

• AMUSE

This page was built for publication: Using local search to find MSSes and MUSes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1042194)