Logic as Energy: A SAT-Based Approach.
Priscila Machado Vieira LimaM. Mariela Morveli-EspinozaFelipe M. G. FrançaPublished in: BVAI (2007)
Keyphrases
- energy consumption
- energy minimization
- classical logic
- modal logic
- asynchronous circuits
- sat problem
- multi valued
- computational properties
- logic programming
- phase transition
- sat solvers
- predicate logic
- low energy
- proof theory
- image segmentation
- deontic logic
- boolean satisfiability
- constraint satisfaction
- search algorithm