2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices
Tytuł:
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices
Czasopismo:
37TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL 2007
Rok:
2007
Opis:
37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway
Strony:
21
Tom (seria wydawnicza):
IEEE Computer Society