Further investigations into regular XORSAT

Matti Järvisalo

    Research output: Working paperProfessional

    4 Citations (Scopus)
    Original languageEnglish
    Pages1873-1874
    Publication statusPublished - 2006
    MoE publication typeD4 Published development or research report or study

    Publication series

    Name21st National Conference on Artificial Intelligence (AAAI'06), Boston, Massachusetts, USA, July 16-20, 2006
    PublisherAAAI Press

    Keywords

    • benchmarking
    • hard instances
    • propositional satisfiability

    Cite this