• Sottometti
  • Personalizza
    • I tuoi avvisi
    • Le tue liste
    • Le tue ricerche
  • Aiuto
  • de
  • en
  • fr
  • it
  • ospite :: login
Ricerca Avanzata
  • Ricerca nel testo
  • Memorizzare il filtro selezionato per la prossima ricerca

Perfeziona i miei risultati

Document type

  • Articoli (1)

Institution

  • Nazionale (1)
  • Ticino (1)

Collection spécifique

  • Collezioni Nazionale (1)

Lingua

  • Inglese (1)

Autore

  • Bruttomesso, Roberto (1)
  • Cimatti, Alessandro (1)
  • Franzen, Anders (1) disattivare il filtro
  • Griggio, Alberto (1)
  • Sebastiani, Roberto (1)

Domaine

  • Médecine, Technologie, Sciences de l'ingénieur, Informatique (1)

Parola chiave

  • Delayed theory combination (1)
  • Nelson-Oppen (1)
  • Satisfiability modulo theories (1)
Ordinati per: Data di deposito
  • Data di deposito
  • Titolo
  • Autore

  • Ascendente
  • Discendente
1 risultati 1
Postprint
Consortium of Swiss Academic Libraries

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

Bruttomesso, Roberto ; Cimatti, Alessandro ; Franzen, Anders ; Griggio, Alberto ; Sebastiani, Roberto

In: Annals of Mathematics and Artificial Intelligence, 2009, vol. 55, no. 1-2, p. 63-99

1 risultati 1
  • Pagina principale
  • Contact
  • RERO Explore
  • Fornita da Invenio
  • / © Copyright RERO