Dissertations details

Constraint Solving over Multi-valued Logics - Application to Digital Circuits

May 2002

Entity: Universidade Nova de Lisboa

Authors: Francisco Azevedo

Supervisors: Pedro Barahona

Bibtex Key:

ISBN:

Url:

Notes:

DOI:

Publication File: