„SMT solving“

Suchergebnisse

24 Treffer

• Modern constraint answer set solving
  Ostrowski, Max ; Schaub, Torsten 2018 Universität Potsdam
• Efficient SMT solving for bit vectors and the extensional theory of arrays
  Brummayer, Robert 2010 Trauner
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Scalable Bit-precise Formal Verification of Embedded Software
  He, Nannan 2016 LAP LAMBERT Academic Publishing