SAT solver management strategies in IC3: an experimental approach-Reference-Cited by-同舟云学术

SAT solver management strategies in IC3: an experimental approach

Published:2017-02-25 Issue:1 Volume:50 Page:39-74
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Cabodi G.,Camurati P. E.,Mishchenko A.,Palena M.^ORCID,Pasini P.

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-017-0272-0.pdf

Reference28 articles.

1. Cabodi G, Mishchenko A, Palena M (2013) Trading-off incrementality and dynamic restart of multiple solvers in IC3. DIFTS, Portland

2. Bradley AR (2011) SAT-based model checking without unrolling. VMCAI, Austin

3. Biere A, Jussila T (2008) The model checking competition web page. http://fmv.jku.at/hwmcc . Accessed Feb 2017

4. Eén N, Mishchenko A, Brayton RK (2011) Efficient implementation of property directed reachability. FMCAD, Austin, pp. 125–134. ISBN:978-0-9835678-1-3

5. Biere A, Cimatti A, Clarke EM, Fujita M, Zhu Y (1999) Symbolic Model Checking using SAT procedures instead of BDDs. In: Proceedings of the 36th design automation conference on New Orleans, Louisiana. IEEE Computer Society, June 1999, pp 317–320. DOI: 10.1145/309847.309942

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hardware Model Checking Algorithms and Techniques;Algorithms;2024-06-09

2. Certified SAT solving with GPU accelerated inprocessing;Formal Methods in System Design;2023-08-02

3. Bit-Level Model Checking;Handbook of Computer Architecture;2022

4. Intersection and Rotation of Assumption Literals Boosts Bug-Finding;Lecture Notes in Computer Science;2020