Zum Inhalt springen

  3. Shcherbina, Oleg [VerfasserIn]; Neumaier, Arnold [VerfasserIn]; Sam-Haroud, Djamila [VerfasserIn]; Vu, Xuan-Ha [VerfasserIn]; Nguyen, Tuan-Viet [VerfasserIn]

    Benchmarking Global Optimization and Constraint Satisfaction Codes

    Konferenzberichte
    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, 2003

    Erschienen in: Lecture Notes in Computer Science, 2861 ; Global optimization and constraint satisfaction : revised selected papers / First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002. Revised Selected Pape

  4. Schneider, Stefan [VerfasserIn]

    Random walk algorithms for SAT and constraint satisfaction problems

    Elektronische Ressourcen
    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.

    Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science, 2010

  6. Seybold, Bernhard [VerfasserIn]; Metzger, Felix [VerfasserIn]; Ogan, Gül [VerfasserIn]; Simon, Klaus [VerfasserIn]

    Using blocks for constraint satisfaction

    Bücher
    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.

    ETH Zürich, Institut für Theoretische Informatik, 1998

    Erschienen in: Technical report, 297

  9. Gottlob, Georg; Greco, Gianluigi; Marnette, Bruno

    Graph Theory, Computational Intelligence and Thought: HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results

    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: Graph Theory, Computational Intelligence and Thought