Axiomatization of certain problems of minimization
From MaRDI portal
Publication:1212444
DOI10.1007/BF02340026zbMath0294.02004MaRDI QIDQ1212444
Publication date: 1967
Published in: Studia Logica (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- The Brauer-Manin Obstruction and III[2]
- A Way to Simplify Truth Functions
- An Essay on Prime Implicant Tables
- Application of pseudo-Boolean programming to the theory of graphs
- Boolean Algebra, Map Coloring, and Interconnections
- The Problem of Simplifying Truth Functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Axiomatization of certain problems of minimization
