The Solution of Logic Equations

Christian Posthoff and Bernd Steinbach
Additional contact information
Christian Posthoff: The University of The West Indies
Bernd Steinbach: Freiberg University of Technology

Chapter Chapter 5 in Logic Functions and Equations, 2004, pp 143-206 from Springer

Abstract: Abstract The most important method for the practical solution of logic equations is the computer-based implementation of numerical methods and algorithms. It is astonishing that “traditional systems of symbolic mathematics” more or less forgot about logic functions and equations (systems like MATHCAD, MATHEMATICA, MAPLE up to now do not have a serious component devoted to this problem) . However, there are many specialized systems available (or existing), mainly as systems for the logic design of digital systems or as systems for the SAT-problem. The attention for the SAT-problem increased considerably over the last 10 to 15 years, even international competitions took and take place.

Date: 2004
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4020-2938-7_5

Ordering information: This item can be ordered from
http://www.springer.com/9781402029387

DOI: 10.1007/978-1-4020-2938-7_5

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().