Constraint solving over multi-valued logics [electronic resource] : application to digital circuits /
Azevedo, Francisco.
text
Electronic books.
Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha,
2003.
eng
Includes bibliographical references (p. 145-153).
Description based on print version record.
Constraint programming (Computer science)
Many-valued logic.
Digital electronics.
COMPUTERS
COMPUTERS
COMPUTERS
Electronic books.
Electronic books.
Constraint solving over multi-valued logics.
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528