Search results

Articles (4)

Journals (0)

1-4 of 4 results for QBF-SAT problem

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2003-10

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes

Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan

Fundamenta Informaticae

Open access

Research article

First published 2009-2

Marco Benedetti, Hratch Mangassarian

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

Ralf Wimmer, Christoph Scholl, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-5

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence