A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.
Holger Bock AxelsenRobert GlückRobin KaarsgaardPublished in: WoLLIC (2016)
Keyphrases
- propositional logic
- logic circuits
- horn logic
- low power
- probabilistic knowledge
- belief revision
- first order logic
- possibilistic logic
- valued logic
- lattice theory
- quantified boolean formulae
- functional decomposition
- logic synthesis
- tunnel diode
- propositional satisfiability
- low cost
- gate array
- belief change
- formal theory
- wireless sensor networks
- message passing
- power consumption
- high speed
- satisfiability testing
- fuzzy logic
- data model
- artificial intelligence