| 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 |
