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.