Search results

Articles (4)

Journals (0)

1-4 of 4 results for 2CNF

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2001-4

Complexity Results for 2CNF Default Theories

Xishun Zhao, Decheng Ding

Fundamenta Informaticae

Open access

Research article

First published 2010-2

Utz-Uwe Haus, Klaus Truemper, Robert Weismantel

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2003-5

Xishun Zhao

The European Journal on Artificial Intelligence

Open access

Research article

First published 2016-6

Patrick Scharpfenecker, Jacobo Torán

Journal on Satisfiability,Boolean Modelling and Computation