Works matching IS 10769757 AND DT 2004 AND VI 22


Results: 15
    1

    Generalizing Boolean Satisfiability II: Theory.

    Published in:
    Journal of Artificial Intelligence Research, 2004, v. 22, p. 481, doi. 10.1613/jair.1555
    By:
    • Dixon, Heidi E.;
    • Ginsberg, Matthew L.;
    • Luks, Eugene M.;
    • Parkes, Andrew J.
    Publication type:
    Article
    2
    3
    4
    5
    6
    7

    Additive Pattern Database Heuristics.

    Published in:
    Journal of Artificial Intelligence Research, 2004, v. 22, p. 279, doi. 10.1613/jair.1480
    By:
    • Felner, Ariel;
    • Korf, Richard E.;
    • Hanan, Sarit
    Publication type:
    Article
    8

    Ordered Landmarks in Planning.

    Published in:
    Journal of Artificial Intelligence Research, 2004, v. 22, p. 215, doi. 10.1613/jair.1492
    By:
    • Hoffmann, Jörg;
    • Porteous, Julie;
    • Sebastia, Laura
    Publication type:
    Article
    9
    10
    11
    12
    13
    14
    15

    A Maximal Tractable Class of Soft Constraints.

    Published in:
    Journal of Artificial Intelligence Research, 2004, v. 22, p. 1, doi. 10.1613/jair.1400
    By:
    • Cohen, David;
    • Cooper, Martin;
    • Jeavons, Peter;
    • Krokhin, Andrei
    Publication type:
    Article