Skip to contents

  1. Ek, Alexander [Author]; Schutt, Andreas [Author]; Stuckey, Peter J. [Author]; Tack, Guido [Author] ; Alexander Ek and Andreas Schutt and Peter J. Stuckey and Guido Tack [Contributor]

    Explaining Propagation for Gini and Spread with Variable Mean

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  8. van Driel, Ronald; Demirović, Emir; Yorke-Smith, Neil

    Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2021

    Published in: Integration of Constraint Programming, Artificial Intelligence, and Operations Research

  9. Stuckey, Peter J.

    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2010

    Published in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems