Published on IIIA (http://www.iiia.csic.es)

Home > Publications > Content
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic

Publication Type:

Conference Paper

Authors:

Carlos Ansótegui [1]; Miquel Bofill [2]; Felip Manyà [3]; Mateu Villaret [4]

Source:

41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 , Tuusula, Finland, p.230-235 (2011)

Projects: 
TASSAT [8]
IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/publications/extending-multiple-valued-clausal-forms-linear-integer-arithmetic

Links:
[1] http://www.iiia.csic.es/en/individual/carlos-ansotegui
[2] http://www.iiia.csic.es/en/node/4604
[3] http://www.iiia.csic.es/en/individual/felip-manya
[4] http://www.iiia.csic.es/en/individual/mateu-villaret
[5] http://www.iiia.csic.es/en/publications/export/tagged/4600
[6] http://www.iiia.csic.es/en/publications/export/xml/4600
[7] http://www.iiia.csic.es/en/publications/export/bib/4600
[8] http://www.iiia.csic.es/en/project/tassat