Sage Journals: Discover world-class research

Open access

Research article

First published 2012-8

A Computational Trichotomy for Connectivity of Boolean Satisfiability

Konrad W. Schwerdtfeger

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2010-2

Cache Conscious Data Structures for Boolean Satisfiability Solvers

Geoffrey Chu, Aaron Harwood, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2013-12

An Improved Satisfiability Algorithm for Nested Canalyzing Functions and its Application to Determining a Singleton Attractor of a Boolean Network

Avraham A. Melkman, Tatsuya Akutsu

Journal of Computational Biology

Retricted access

Research article

First published 2021

Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case *

Domenico Cantone, Andrea De Domenico, Pietro Maugeri [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-3-2

Maximal falsifiability

Alexey Ignatiev, Antonio Morgado, Jordi Planes [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

Pueblo: A Hybrid Pseudo-Boolean SAT Solver

Hossein M. Sheini, Karem A. Sakallah

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

Retricted access

Research article

First published 2010-8

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem

António Morgado, Joao Marques-Silva

Fundamenta Informaticae

Open access

Research article

First published 2009-2

Solving Partial Order Constraints for LPO Termination

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Search results