Works matching IS 02182130 AND DT 2017 AND VI 26 AND IP 4


Results: 8
    1
    2
    3
    4
    5
    6
    7
    8

    Guiding SAT Solving by Formula Partitioning.

    Published in:
    International Journal on Artificial Intelligence Tools, 2017, v. 26, n. 4, p. -1, doi. 10.1142/S0218213017500117
    By:
    • Mann, Zoltán Ádám;
    • Papp, Pál András
    Publication type:
    Article