Zum Inhalt springen

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

    Explaining Propagation for Gini and Spread with Variable Mean

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Feydy, Thibaut; Stuckey, Peter J.

    Principles and Practice of Constraint Programming - CP 2009: Lazy Clause Generation Reengineered

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2009

    Erschienen in: Principles and Practice of Constraint Programming - CP 2009

  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

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2021

    Erschienen 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

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2010

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