[Back]


Talks and Poster Presentations (with Proceedings-Entry):

G. Salzer, V. Chepoi, N. Creignou, M. Hermann:
"Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics";
Talk: ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic), Dallas,Texas,USA; 2008-05-16 - 2008-05-19; in: "Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic", G. Dueck (ed.); IEEE Computer Society, Washington D.C., USA (2008), ISBN: 978-0-7695-3155-7; 100 - 105.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ISMVL.2008.41

Electronic version of the publication:
http://dx.doi.org/10.1109/ISMVL.2008.41


Created from the Publication Database of the Vienna University of Technology.