Search results

Articles (6)

Journals (0)

1-6 of 6 results for minimal unsatisfiable formulas

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2007-2

The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2007-8

An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-8

MUSer2: An Efficient MUS Extractor 1

Anton Belov, Joao Marques-Silva

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-5

Towards efficient MUS extraction

Anton Belov, Inês Lynce, Joao Marques-Silva

The European Journal on Artificial Intelligence

Open access

Research article

First published 2007-8

It’s All about the Support: A New Perspective on the Satisfiability Problem

Dan Vilenchik

Journal on Satisfiability,Boolean Modelling and Computation