ESPRESSO-GPU: Blazingly Fast Two-Level Logic Minimization.
Hitarth KanakiaMahdi NazemiArash FayyaziMassoud PedramPublished in: DATE (2021)
Keyphrases
- real time
- modal logic
- graphics hardware
- proof theory
- classical logic
- objective function
- gpu accelerated
- parallel computing
- logic programming
- parallel implementation
- automated reasoning
- multi valued
- deontic logic
- set theory
- epistemic logic
- defeasible logic
- graphics processing units
- computational properties
- parallel computation
- efficient implementation
- parallel processing
- knowledge base
- artificial intelligence
- databases