The satisfiability problem algorithms and analyses

The satisfiability problem algorithms and analyses

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schöning, Uwe 1955- (VerfasserIn), Torán, Jacobo 1962- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin Lehmanns Media 2013
Schriftenreihe:	Mathematik für Anwendungen 3
Schlagworte:	Erfüllbarkeitsproblem
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Satisfiability problem: theory and applications DIMACS workshop March 11 - 13, 1996
Veröffentlicht: (1997)

Generalized satisfiability problems
von: Reith, Steffen
Veröffentlicht: (2001)

The satisfiability problem algorithms and analyses
von: Schöning, Uwe 1955-
Veröffentlicht: (2013)

Schnelle Algorithmen für das k-Satisfiability-Problem
von: Schiermeyer, Ingo
Veröffentlicht: (1993)

The Renesse issue on satisfiability
Veröffentlicht: (2003)

Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19 - 23, 2005 ; proceedings
Veröffentlicht: (2005)

Theory and applications of satisfiability testing - SAT 2013 16th international conference, Helsinki, Finland, July 8 - 12, 2013 ; proceedings
Veröffentlicht: (2013)

Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
Veröffentlicht: (2012)

Theory and applications of satisfiability testing – SAT 2016 19th international conference, Bordeaux, France, July 5-8, 2016 : proceedings
Veröffentlicht: (2016)

Theory and applications of satisfiability testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006 ; proceedings
Veröffentlicht: (2006)

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

SAT 2005 Satisfiability Research in the Year 2005
Veröffentlicht: (2006)

Theory and applications of satisfiability testing - SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings
Veröffentlicht: (2007)

Theory and applications of satisfiability testing - SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings
Veröffentlicht: (2007)

Theory and applications of satisfiability testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings
Veröffentlicht: (2009)

Handbook of satisfiability
Veröffentlicht: (2009)

Handbook of satisfiability
Veröffentlicht: (2009)

Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung
von: Lettmann, Theodor
Veröffentlicht: (1987)

Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings
Veröffentlicht: (2015)

Theory and applications of satisfiability testing 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5 - 8, 2003 ; selected revised papers
Veröffentlicht: (2004)

Model-based transformations for quantified Boolean formulas
von: Bubeck, Uwe
Veröffentlicht: (2010)

Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19 - 23, 2005 ; proceedings
Veröffentlicht: (2005)

Prototypische Implementierung eines parallelen SAT-Solvers unter der Verwendung von moderner heterogener Hardware
von: Blume, Anke
Veröffentlicht: (2012)

Elements of dynamic and 2-SAT programming: paths, trees, and cuts
von: Bentert, Matthias
Veröffentlicht: (2021)

Elements of dynamic and 2-SAT programming: paths, trees, and cuts
von: Bentert, Matthias
Veröffentlicht: (2021)

Theory and applications of satisfiability testing - SAT 2017 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings
Veröffentlicht: (2017)

The graph isomorphism problem its structural complexity
von: Köbler, Johannes, et al.
Veröffentlicht: (1993)

Theory and applications of satisfiability testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings
Veröffentlicht: (2017)

Theory and applications of satisfiability testing – SAT 2018 21st International Conference, SAT 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018 : proceedings
Veröffentlicht: (2018)

On counting and approximation
von: Köbler, Johannes, et al.
Veröffentlicht: (1987)

On counting and approximation
von: Köbler, Johannes, et al.
Veröffentlicht: (1987)

Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems
von: Herde, Christian
Veröffentlicht: (2011)

Graph isomorphism is low for PP
von: Köbler, Johannes, et al.
Veröffentlicht: (1991)

Verifikation unvollständiger Schaltkreise
von: Nopper, Tobias Johannes 1976-
Veröffentlicht: (2015)

Satisfiability problems
von: Agrawal, Manindra 1966-, et al.
Veröffentlicht: (1996)

On the complexity of the satisfiability problem
von: Goldberg, Allen T.
Veröffentlicht: (1981)

Handbook of satisfiability
Veröffentlicht: (2021)

Satisfiability in the year 2000
Veröffentlicht: (2000)

On the complexity of the maximum satisfiability problem for Horn-formulars
von: Jaumard, Brigitte, et al.
Veröffentlicht: (1986)

Bridging constraint satisfaction and boolean satisfiability
von: Petke, Justyna
Veröffentlicht: (2015)