• Aiuto
  • Sfoglia

    • Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis / Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani. - 4246(2006), pp. 527-541. ((Intervento presentato al convegno LPAR'06 tenutosi a Phnom Penh, Cambodia nel 13-17/11/2006.



    Titolo: Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis
    Autori: 
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    mostra contributor esterni 
    Data di pubblicazione: 2006
    Handle: http://hdl.handle.net/11582/31581
    ISBN: 9783540482819
    Appare nelle tipologie:4.1 Contributo in Atti di convegno

    File in questo prodotto:
    Non ci sono file associati a questo prodotto.
    Utilizza questo identificativo per citare o creare un link a questo documento:
    http://hdl.handle.net/11582/31581
    • Citazioni
    • ND

    I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2018