Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2001-01-01


    Size :

    14 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    005.115



    Uncertainty-valued horn clauses

    Hall, Victoria | TIBKAT | 1994

    Free access

    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