Sciweavers

Share
ISMVL
2008
IEEE

Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics

8 years 8 months ago
Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics
Victor Chepoi, Nadia Creignou, Miki Hermann, Gerno
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ISMVL
Authors Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer
Comments (0)
books