Satisfiability of the smallest binary program (Q2366070)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability of the smallest binary program
scientific article

    Statements

    Satisfiability of the smallest binary program (English)
    0 references
    0 references
    0 references
    29 June 1993
    0 references
    0 references
    theory of computation
    0 references
    smallest binary program
    0 references