Mining definitions in Kissat with Kittens (Q6056639)

From MaRDI portal
scientific article; zbMATH DE number 7757155
Language Label Description Also known as
English
Mining definitions in Kissat with Kittens
scientific article; zbMATH DE number 7757155

    Statements

    Mining definitions in Kissat with Kittens (English)
    0 references
    0 references
    0 references
    30 October 2023
    0 references
    0 references
    SAT solving
    0 references
    variable elimination
    0 references
    definition extraction
    0 references
    0 references