Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Published in:

    Publication date :

    2013



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown



    Classification :

    BKL:    50.15 Konstruktionslehre / 52.15 Maschinenelemente, Maschinenbaugruppen / 52.20 Antriebstechnik, Getriebelehre
    Local classification 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

    Free access

    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