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 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 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 2011-2

Restoring CSP Satisfiability with MaxSAT

Inês Lynce, Joao Marques-Silva

Fundamenta Informaticae

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 2019-6

Open-WBO-Inc : Approximation Strategies for Incomplete Weighted MaxSAT

Saurabh Joshi, Prateek Kumar, Sukrut Rao [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2024-10

Changes and thresholds in the Oxford Shoulder Score following shoulder arthroplasty: Minimal clinically important difference,minimal important and detectable changes,and patient-acceptable symptom state

Perry Liu, Irrum Afzal, Vipin Asopa [...]

Shoulder & Elbow

Retricted access

Other

First published 2004-07

Female Survivors of Childhood Sexual Abuse: Implications for Couples’ Therapists

Debra C. Cobia, Robin R. Sobansky, Meredith Ingram

The Family Journal

Search results