Using local search to find MSSes and MUSes
type: Item
instance of: scholarly article
title: Using local search to find MSSes and MUSes
zbMATH Open document ID: 1176.90410
author: E. Grégoire
author: Bertrand Mazure
author: Cedric Piette
published in: European Journal of Operational Research
publication date: 2009-12-07T00:00:00Z
Mathematics Subject Classification ID: 90C09
zbMATH DE Number: 5642905
zbMATH Keywords: SAT
zbMATH Keywords: msses
zbMATH Keywords: muses
zbMATH Keywords: satisfiability
zbMATH Keywords: hybrid algorithm
describes a project that uses: AMUSE
MaRDI profile type: Publication
full work available at URL: j.ejor.2007.06.066
OpenAlex ID: W1998335356
cites work: The complexity of facets resolved
cites work: On the complexity of propositional knowledge base revision, updates, and counterfactuals
cites work: Theory and Applications of Satisfiability Testing
cites work: On exact selection of minimally unsatisfiable subformulae
cites work: On subclasses of minimal unsatisfiable formulas
cites work: An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
cites work: Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
cites work: Approximating minimal unsatisfiable subformulae by means of adaptive core search
cites work: Q4546713
DOI: 10.1016/J.EJOR.2007.06.066
description: scientific article; zbMATH DE number 5642905