Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach


    Beteiligte:
    Kolokolov, A. (Autor:in) / Adelshin, A. (Autor:in) / Yagofarova, D. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2013-01-01


    Format / Umfang :

    12 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    003.3



    An Interactive Approach to Solving Correspondence Problems

    Jegelka, S. / Kapoor, A. / Horvitz, E. | British Library Online Contents | 2014


    Solving Least Squares Problems by Neural Network Approach

    Fan, Z. / Tian, L. / IEEE; Hong Kong Chapter of Signal Processing | British Library Conference Proceedings | 1994




    Efficient Sparse Approach for Solving Receding-Horizon Control Problems

    Peng, Haijun / Gao, Qiang / Wu, Zhigang et al. | AIAA | 2013