Zum Inhalt springen

  3. Nguyen, Van-Hau [VerfasserIn] ; Technische Universität Dresden

    SAT encodings of finite CSPs

    Bücher
    Schließen

    Merkliste

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

    Dresden, [2015?]

  4. Strichman, Ofer [HerausgeberIn]; Szeider, Stefan [Sonstige Person, Familie und Körperschaft] ; SAT 13 2010 Edinburgh

    Theory and applications of satisfiability testing - SAT 2010 : 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6175

  8. Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]

    Handbook of satisfiability / part 2 - [Second edition]

    Bücher
    Schließen

    Merkliste

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Erschienen in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021

  9. Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]

    Handbook of satisfiability / part 1 - [second edition]

    Bücher
    Schließen

    Merkliste

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Erschienen in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021

  11. Kleine Büning, Hans [HerausgeberIn]; Zhao, Xishun [Sonstige Person, Familie und Körperschaft] ; SAT 11 2008 Kanton, Stadt

    Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4996

  13. Marques-Silva, João [HerausgeberIn]; Sakallah, Karem A. [Sonstige Person, Familie und Körperschaft] ; SAT 10 2007 Lissabon

    Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4501

  18. Biere, Armin [HerausgeberIn]; Gomes, Carla P. [Sonstige Person, Familie und Körperschaft] ; SAT 9 2006 Seattle, Wash

    Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4121

  20. Beklemishev, Lev D. [Sonstige Person, Familie und Körperschaft]; Queiroz, Ruy de [Sonstige Person, Familie und Körperschaft]; Beklemišev, Lev D. [HerausgeberIn]; Queiroz, Ruy J. G. B. de [HerausgeberIn] ; WoLLIC 18 2011 Philadelphia, Pa

    Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6642