Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses


    Beteiligte:


    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    14 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    005.115



    Uncertainty-valued horn clauses

    Hall, Victoria | TIBKAT | 1994

    Freier Zugriff

    Uncertainty-valued horn clauses

    Hall, Victoria | TIBKAT | 1994


    Solving Constrained Horn Clauses as C Programs with CHC2C

    Bajczi, Levente / Molnár, Vince | Springer Verlag | 2024


    Modified Neural Net for the Boolean Satisfiability Problem

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


    Aerospace Contract Clauses

    SAE Technical Papers | 2006