Título | Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic |
Publication Type | Conference Paper |
Year of Publication | 2011 |
Authors | Ansótegui C, Bofill M, Manyà F, Villaret M |
Conference Name | 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 |
Conference Location | Tuusula, Finland |
Paginación | 230-235 |