Author:
Bozzano Marco,Bruttomesso Roberto,Cimatti Alessandro,Junttila Tommi,van Rossum Peter,Schulz Stephan,Sebastiani Roberto
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference44 articles.
1. Armando, A., Castellini, C. and Giunchiglia, E.: SAT-based procedures for temporal reasoning, in Proc. European Conference on Planning, CP-99.
2. Armando, A., Castellini, C., Giunchiglia, E. and Maratea, M.: A SAT-based decision procedure for the boolean combination of difference constraints, in Proc. Conference on Theory and Applications of Satisfiability Testing (SAT'04), 2004.
3. Audemard, G., Bertoli, P., Cimatti, A., Kornilowicz, A. and Sebastiani, R.: A SAT based approach for solving formulas over boolean and linear mathematical propositions, in Proc. CADE'2002, Vol. 2392 of LNAI, 2002.
4. Audemard, G., Cimatti, A., Kornilowicz, A. and Sebastiani, R.: SAT-based bounded model checking for timed systems, in Proc. FORTE'02, Vol. 2529 of LNCS, 2002.
5. Badros, G. and Borning, A.: The Cassowary linear arithmetic constraint solving algorithm: interface and implementation. Technical Report UW-CSE-98-06-04, University of Washington, 1998.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Chapter 33. Satisfiability Modulo Theories;Frontiers in Artificial Intelligence and Applications;2021-02-02
2. Formal reliability analysis of redundancy architectures;Formal Aspects of Computing;2019-02-12
3. Anxiety: A Dynamic Symbolic Execution Framework;2017 Ivannikov ISPRAS Open Conference (ISPRAS);2017-11
4. A Constraint-Pattern Based Method for Reachability Determination;2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC);2017-07
5. Multi-core model checking and maximum satisfiability applied to hardware-software partitioning;International Journal of Embedded Systems;2017