Sage Journals: Discover world-class research

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

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

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

Retricted access

Research article

First published 2010-5

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro

Fundamenta Informaticae

Retricted access

Research article

First published 2011-4

Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure

Oliver Kullmann

Fundamenta Informaticae

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

Retricted access

Research article

First published 1987-10

Perceptual Congruence of Five Attitudes among Satisfied and Unsatisfied Couples

Michel Pléchaty

Psychological Reports

Retricted access

Research article

First published 2025

The Role of Refunds in Managing the Unsatisfied Aesthetic Patient

Charlene Tran, Carl B. Rebhun, David B. Samimi

The American Journal of Cosmetic Surgery

Retricted access

Research article

First published 1971-1

Unsatisfied Nationalisms

Hugh Seton-Watson

Journal of Contemporary History

Search results