Volume 49, Issue 4, December 2012

ISSN: 0168-7433 (Print) 1573-0670 (Online)

In this issue (3 articles)

  1. No Access

    OriginalPaper

    Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction

    Steven Schockaert, Jeroen Janssen, Dirk Vermeir Pages 493-550
    Look Inside Get Access

  2. No Access

    OriginalPaper

    PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$

    Jia Tao, Giora Slutzki, Vasant Honavar Pages 551-582
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Simulating Circuit-Level Simplifications on CNF

    Matti Järvisalo, Armin Biere, Marijn J. H. Heule Pages 583-619
    Look Inside Get Access