scientific article; zbMATH DE number 1848368
From MaRDI portal
Publication:4785535
zbMATH Open1046.68038MaRDI QIDQ4785535FDOQ4785535
Authors: André Thayse 
Publication date: 5 January 2003
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3950389
- The basic algorithm for pseudo-Boolean programming revisited
- Multiplexor method for realization of Boolean functions by circuits composed of arbitrary logical elements
- scientific article; zbMATH DE number 49082
- scientific article; zbMATH DE number 4061303
- scientific article; zbMATH DE number 953683
- Logic Functions and Equations
- System of transformations of certain representations of Boolean functions
- scientific article; zbMATH DE number 5852793
- Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity
Reliability, testing and fault tolerance of networks and computer systems (68M15) Logic programming (68N17) Logic in artificial intelligence (68T27) Digital control/observation systems (93C62)
Cited In (6)
- From logic design to logic programming. Theorem proving techniques and P- functions
- Title not available (Why is that?)
- Logic programming and digital circuit analysis
- Mathematical foundations and computational methods for a digital logic machine
- Pseudo-Boolean Logic Circuits
- Specification and initialization of a logic computer system
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785535)
