Constraint solving over multi-valued logics - application to digital circuits

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

Thesis Abstract
Original languageUnknown
Pages (from-to)125-127
JournalAi Communications
Volume16
Issue number2
Publication statusPublished - 1 Jan 2003

Cite this