Zum Inhalt springen

  1. Löffler, Sven [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Kuchen, Herbert [Sonstige Person, Familie und Körperschaft]

    Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs)

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cottbus: BTU Cottbus - Senftenberg, 2022

  2. Kormann, Benjamin [VerfasserIn] ; Siemers, Christian [MitwirkendeR]

    Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    Clausthal University of Technology: Publications, 2016-12-12

  3. Bulatov, Andrei A. [VerfasserIn]; Grohe, Martin [VerfasserIn]; Kolaitis, Phokion G. [VerfasserIn]; Krokhin, Andrei [VerfasserIn] ; Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin [MitwirkendeR]

    09441 Abstracts Collection – The Constraint Satisfaction Problem: Complexity and Approximability

    Aufsätze
    Online ansehen
    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, 2010

  4. Bulatov, Andrei A. [VerfasserIn]; Grohe, Martin [VerfasserIn]; Kolaitis, Phokion G. [VerfasserIn]; Krokhin, Andrei [VerfasserIn] ; Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin [MitwirkendeR]

    09441 Executive Summary – The Constraint Satisfaction Problem: Complexity and Approximability

    Aufsätze
    Online ansehen
    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, 2010

  5. Grohe, Martin [VerfasserIn]; Guruswami, Venkatesan [VerfasserIn]; Marx, Dániel [VerfasserIn]; Živný, Stanislav [VerfasserIn] ; Martin Grohe and Venkatesan Guruswami and Dániel Marx and Stanislav Živný [MitwirkendeR]

    The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201)

    Aufsätze
    Online ansehen
    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

  6. Grohe, Martin [VerfasserIn]; Guruswami, Venkatesan [VerfasserIn]; Zivny, Stanislav [VerfasserIn] ; Martin Grohe and Venkatesan Guruswami and Stanislav Zivny [MitwirkendeR]

    The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 18231)

    Aufsätze
    Online ansehen
    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, 2018

  7. Bulatov, Andrei A. [VerfasserIn]; Guruswami, Venkatesan [VerfasserIn]; Krokhin, Andrei [VerfasserIn]; Marx, Dániel [VerfasserIn] ; Andrei A. Bulatov and Venkatesan Guruswami and Andrei Krokhin and Dániel Marx [MitwirkendeR]

    The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 15301)

    Aufsätze
    Online ansehen
    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, 2016

  8. Blet, Loïc [VerfasserIn] ; Lyon, INSA [MitwirkendeR]; Solnon, Christine [MitwirkendeR]

    Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes ; Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2015-09-30

  9. Dyer, Martin [VerfasserIn]; Richerby, David [VerfasserIn] ; Martin Dyer and David Richerby [MitwirkendeR]

    The #CSP Dichotomy is Decidable

    Aufsätze
    Online ansehen
    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, 2011

  10. Dyer, Martin [VerfasserIn]; Goldberg, Leslie Ann [VerfasserIn]; Jalsenius, Markus [VerfasserIn]; Richerby, David [VerfasserIn] ; Martin Dyer and Leslie Ann Goldberg and Markus Jalsenius and David Richerby [MitwirkendeR]

    The Complexity of Approximating Bounded-Degree Boolean #CSP

    Aufsätze
    Online ansehen
    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, 2010

  11. Paris, Nicolas [VerfasserIn] ; Artois [MitwirkendeR]; Lecoutre, Christophe [MitwirkendeR]

    Intégration de techniques CSP pour la résolution du problème WCSP ; Integration of CSP techniques to solve WCSP

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2014-11-06

  12. Gillibert, Pierre [VerfasserIn]; Jonušas, Julius [VerfasserIn]; Kompatscher, Michael [VerfasserIn]; Mottet, Antoine [VerfasserIn]; Pinsker, Michael [VerfasserIn] ; Pierre Gillibert and Julius Jonušas and Michael Kompatscher and Antoine Mottet and Michael Pinsker [MitwirkendeR]

    Hrushovski’s Encoding and ω-Categorical CSP Monsters

    Aufsätze
    Online ansehen
    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, 2020