SAT-Solving in Practice, with a Tutorial Example from Supervisory Control-Reference-Cited by-同舟云学术

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Published:2009-09-10 Issue:4 Volume:19 Page:495-524
ISSN:0924-6703
Container-title:Discrete Event Dynamic Systems
language:en
Short-container-title:Discrete Event Dyn Syst

Author:

Claessen Koen,Een Niklas,Sheeran Mary,Sörensson Niklas,Voronov Alexey,Åkesson Knut

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s10626-009-0081-8.pdf

Reference63 articles.

1. LNCS;PA Abdulla,2000

2. LNCS;N Amla,2005

3. Baumgartner J, Sheeran M (eds) (2007) Int. conf. on formal methods in computer-aided design (FMCAD’07). IEEE, New York

4. Bentley B (2005) Validating a modern microprocessor, invited talk. In: 17th international conference on computer aided verification (CAV’05). LNS, vol 3576. Springer, Berlin. Slides available at http://www.cav2005.inf.ed.ac.uk/Fbentley_CAV_07_08_2005.ppt

5. Biere A (2007a) PicoSAT ver 535, system description for the SAT competition. Available at http://www.satcompetition.org/2007/picosat.pdf

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

1. Necessary Conditions and Empirical Observations for Rearrangeable Banyan-Type Networks;WSEAS TRANSACTIONS ON CIRCUITS AND SYSTEMS;2023-12-31

2. The possibilistic horn non-clausal knowledge bases;International Journal of Approximate Reasoning;2023-01

3. Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics;Russian Microelectronics;2021-12

4. CNF-SAT modelling for banyan-type networks and its application for assessing the rearrangeability;Journal of Physics: Conference Series;2021-11-01

5. Accelerating a continuous-time analog SAT solver using GPUs;Computer Physics Communications;2020-11