Zoekresultaten - Alberto Griggio

  • Toon 1 - 2 resultaten van 2
Verfijn jouw resultaten
Lijst   Tegels  
  1. 1

    Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic door Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani

    Gepubliceerd in 2012-08-01
    Volledige tekst
    Artigo
    Toevoegen aan favorieten
    Bewaard in:
  2. 2

    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays door Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

    Gepubliceerd in 2022-08-01
    Volledige tekst
    Artigo
    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: