Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatically Transforming Object-Oriented Graph-Based Representations Into Boolean Satisfiability Problems for Computational Design Synthesis



    Erschienen in:

    Erscheinungsdatum :

    2013



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt



    Klassifikation :

    BKL:    50.15 Konstruktionslehre / 52.15 Maschinenelemente, Maschinenbaugruppen / 52.20 Antriebstechnik, Getriebelehre
    Lokalklassifikation TIB:    770/5315/5330



    Allocation of avionics communication using Boolean satisfiability

    Carta, Daniela Cristina / de Oliveira, Jose Maria Parente / Starr, Rodrigo Rizzi | IEEE | 2012


    Allocation of avionics communication using Boolean satisfiability

    Carta, Daniela Cristina / de Oliveira, Jose Maria Parente / Starr, Rodrigo Rizzi et al. | IEEE | 2012

    Freier Zugriff

    Modified Neural Net for the Boolean Satisfiability Problem

    Mejia-Lavalle, Manuel / A., Jose Ruiz / O., Joaquin Perez et al. | IEEE | 2015



    A Tool for Automatically Gathering Object-Oriented Metrics

    Brooks, C. L. / Buell, C. G. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1994