TítuloExtending Multiple-Valued Clausal Forms with Linear Integer Arithmetic
Publication TypeConference Paper
Year of Publication2011
AuthorsAnsótegui C, Bofill M, Manyà F, Villaret M
Conference Name41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011
Conference LocationTuusula, Finland
Paginación230-235