Author:
Bozzano Marco,Bruttomesso Roberto,Cimatti Alessandro,Junttila Tommi,van Rossum Peter,Schulz Stephan,Sebastiani Roberto
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Ackermann, W.: Solvable Cases of the Decision Problem. North Holland Pub. Co, Amsterdam (1954)
2. Lecture Notes in Computer Science;A. Armando,2005
3. Lecture Notes in Artificial Intelligence;G. Audemard,2002
4. Lecture Notes in Artificial Intelligence;G. Audemard,2002
5. Badros, G.J., Borning, A., Stuckey, P.J.: The Cassowary Linear Arithmetic Constraint Solving Algorithm. ACM Trans. on Computer-Human Interaction 8(4), 267–306 (2001)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Entwurfsautomatisierungsmethoden für konventionelle Systeme;Einführung in die Entwurfsautomatisierung für Quantencomputer;2023
2. Symbolic Encoding of Reliability for the Design of Redundant Architectures;2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS);2022-05-24
3. Leveraging Control Flow Knowledge in SMT Solving of Program Verification;ACM Transactions on Software Engineering and Methodology;2021-10-31
4. Control flow-guided SMT solving for program verification;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03
5. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements;Artificial Intelligence Review;2018-03-28