External Links

    Journal: JSAT

    Volume 14, Issue 1

    1 -- 15Evgeny Dantsin, Alexander Wolpert. An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF
    17 -- 23Francesco Leofante. OMTPlan: A Tool for Optimal Planning Modulo Theories
    runs on