Search results

Articles (4)

Journals (0)

1-4 of 4 results for Boolean CSPs

Sort by:

Relevance

Select all

Sort by:

Relevance

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

Retricted access

Research article

First published 2011-4

Oliver Kullmann

Fundamenta Informaticae

Retricted access

Research article

First published 1997-11

Olivier Bailleux, Jean-Jacques Chabrier

Intelligent Data Analysis: An International Journal

Open access

Research article

First published 2016-6

Patrick Scharpfenecker, Jacobo Torán

Journal on Satisfiability,Boolean Modelling and Computation