Satisfiability checking: Theory and applications

E Ábrahám, G Kremer - Software Engineering and Formal Methods: 14th …, 2016 - Springer
Satisfiability checking aims to develop algorithms and tools for checking the satisfiability of
existentially quantified logical formulas. Besides powerful SAT solvers for solving …
被引用次数：26 相关文章
[PDF] gereon-kremer.de

[PDF][PDF] Satisfiability Checking: Theory and Applications

E Ábrahám, G Kremer - gereon-kremer.de
Satisfiability checking aims to develop algorithms and tools for checking the satisfiability of
existentially quantified logical formulas. Besides powerful SAT solvers for solving …
[PDF] tuwien.ac.at

[PDF][PDF] Satisfiability Checking: Theory and Applications

E Abrahám - 2016 - conferences.big.tuwien.ac.at
Modeling and Analysis of Hybrid Systems Page 1 Satisfiability Checking: Theory and
Applications Erika Abrahám RWTH Aachen University, Germany STAF/SEFM 2016 July 06 …