HeerHugo
From MaRDI portal
Software:21683
No author found.
Related Items (17)
Logics in Artificial Intelligence ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Approximating minimal unsatisfiable subformulae by means of adaptive core search ⋮ How to fake an RSA signature by encoding modular root finding as a SAT problem ⋮ Equivalent literal propagation in the DLL procedure ⋮ Persistent and quasi-persistent lemmas in propositional model elimination ⋮ Verification of Timed Automata via Satisfiability Checking ⋮ The propositional formula checker HeerHugo ⋮ Efficient CNF Simplification Based on Binary Implication Graphs ⋮ Failed Literal Detection for QBF ⋮ Transforming equality logic to propositional logic ⋮ Extended resolution simulates binary decision diagrams ⋮ Efficient data structures for backtrack search SAT solvers ⋮ A complete adaptive algorithm for propositional satisfiability
This page was built for software: HeerHugo
