Now showing items 1-1 of 1

    • The satisfiability problem in regular CNF-formulas 

      Manyà Serres, Felip; Béjar Torres, Ramón; Escalada Imaz, G. (Springer Verlag, 1998)
      In this paper we deal with the propositional satisfiability (SAT) problem for a kind of multiple-valued clausal forms known as regular CNF-formulas and extend some known results from classical logic to this kind ...