Works matching IS 02182130 AND DT 2018 AND VI 27 AND IP 1

Results: 5
    1

    On the Glucose SAT Solver.

    Published in:
    International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018400018
    By:
    • Audemard, Gilles;
    • Simon, Laurent
    Publication type:
    Article
    2
    3

    Preface.

    Published in:
    International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018020013
    By:
    • Grégoire, Éric;
    • Lagniez, Jean-Marie;
    • Zhang, Du
    Publication type:
    Article
    4

    On Admissible Consensuses.

    Published in:
    International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018400043
    By:
    • Grégoire, Éric;
    • Izza, Yacine;
    • Zhang, Du
    Publication type:
    Article
    5

    SAT-Based Data Mining.

    Published in:
    International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S021821301840002X
    By:
    • Boudane, Abdelhamid;
    • Jabbour, Saïd;
    • Sais, Lakhdar;
    • Salhi, Yakoub
    Publication type:
    Article