Skip to contents

Nguyen, Van-Hau [Author] ; Technische Universität Dresden

SAT encodings of finite CSPs

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

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

Dresden, [2015?]
Schöning, Uwe [Author]; Torán, Jacobo [Author]

The satisfiability problem : algorythms and analyses - [Corrected reprint]

Close

Bookmarks

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

Berlin: Lehmanns Media, [2020]

Published in: Mathematik für Anwendungen ; 3.2020
Knuth, Donald Ervin [Author]

The art of computer programming / volume 4, fascicle 5, Mathematical preliminaries redux, introduction to backtracking, dancing links / Donald E. Knuth, Stanford University

Close

Bookmarks

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

Boston; Munich: Addison-Wesley, Oktober 2019

Published in: The art of computer programming / Donald E. Knuth ; 4,5,new
Manthey, Norbert [Author]

Towards next generation sequential and parallel SAT solvers

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

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

2014
Lettmann, Theodor [Author]

Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung

Close

Bookmarks

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

1987
Strichman, Ofer [Editor]; Szeider, Stefan [Other] ; SAT 13 2010 Edinburgh

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

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6175
Kinder, Sebastian [Author]

Automated validation and verification of railway specific components and systems

View online
Schließen

Close

Bookmarks

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

Aachen: Shaker, 2008

Published in: Berichte aus der Informatik
Ganai, Malay [Author]; Gupta, Aarti [Author]

SAT-based scalable formal verification solutions

View online
Schließen

Close

Bookmarks

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

New York: Springer Science+Business Media, 2007

Published in: Series on integrated circuits and systems
Marques-Silva, João [Editor]; Sakallah, Karem A. [Other] ; SAT 10 2007 Lissabon

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

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4501
Backes-Gellner, Uschi [Author]; Schöning, Uwe [Author]

Karriereanreize für Wissenschaftler an Hochschulen im deutsch-amerikanischen Vergleich

Close

Bookmarks

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

Paderborn; München; Wien; Zürich: Schöningh, 2004

Published in: Nordrhein-Westfälische Akademie der Wissenschaften: Vorträge / I ; 11
Biere, Armin [Editor]; Heule, Marijn J. H. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability / part 2 - [Second edition]

View online
Schließen

Close

Bookmarks

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

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

Published 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
Biere, Armin [Editor]; Heule, Marijn J. H. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability / part 1 - [second edition]

View online
Schließen

Close

Bookmarks

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

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

Published 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
Biere, Armin [Editor]; Heule, Marijn J. H. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability

View online
Schließen

Close

Bookmarks

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

Amsterdam; Berlin [u.a.]: IOS Press, 2009

Published in: Frontiers in artificial intelligence and applications ; 185
Bacchus, Fahiem [Editor] ; SAT 8 2005 Saint Andrews

Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3569
Creignou, Nadia [Editor]; Kolaitis, Phokion G. [Other]; Vollmer, Heribert [Other] ; Seminar Complexity of Constraints 2006 Dagstuhl

Complexity of constraints : an overview of current research themes

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5250
Sakallah, Karem A. [Editor] ; SAT 14 2011 Ann Arbor, Mich

Theory and application of satisfiability testing - SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6695
Kullmann, Oliver [Editor] ; SAT 12 2009 Swansea

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5584
Giunchiglia, Enrico [Editor] ; SAT 6 2003 Santa Margherita Ligure

Theory and applications of satisfiability testing : 6th international conference, Santa Margherita Ligure, Italy, May 5-8 2003 ; selected revised papers

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2919
Jermann, Christoph [Other]; Jermann, Christoph [Editor]; Neumaier, Arnold [Editor]; Sam, Jamila [Editor] ; COCOS 2 2003 Lausanne

Global optimization and constraint satisfaction : second international workshop, COCOS 2003, Lausanne, Switzerland, November 18 - 21, 2003 ; revised selected papers

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3478
Bliek, Christian [Editor] ; International Workshop on Global Constraint Optimization and Constraint Satisfaction 1 2002 Sophia Antipolis

Global optimization and constraint satisfaction : Valbonne-Sophia Antipolis, France, October 2 - 4, 2002 ; revised selected papers

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2861

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication