zweidimensionales bewegtes Bild
The Symmetry Rule for Quantified Boolean Formulas
- Standort
-
Hannover TIB
- Umfang
-
95MB, 00:26:27:12 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Theory and Practice of Satisfiability Solving (18w5208) ; (Jan. 2018)
- Ereignis
-
Veröffentlichung
- (wer)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (wann)
-
2018-01-01
- Beteiligte Personen und Organisationen
-
Seidl, Martina
Kauers, Manuel
- DOI
-
10.5446/59384
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Seidl, Martina
- Kauers, Manuel
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
Proof Complexity of Quantified Boolean Formulas
Model-based transformations for quantified boolean formulas
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Strengthening convex relaxations of 0/1-sets using Boolean formulas
Quantified Modal Logics: One Approach to Rule (Almost) them All!
Boolean algebras
Boolean Algebras
Boolean Algebras
Boolean algebras
Boolean Mereology
Schwerpunkt: Quantified self
Quantified linear programming
Proof Complexity of Quantified Boolean Formulas
Model-based transformations for quantified boolean formulas
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Strengthening convex relaxations of 0/1-sets using Boolean formulas
Quantified Modal Logics: One Approach to Rule (Almost) them All!
Boolean algebras
Boolean Algebras
Boolean Algebras
Boolean algebras
Boolean Mereology
Schwerpunkt: Quantified self
Quantified linear programming
Proof Complexity of Quantified Boolean Formulas
Model-based transformations for quantified boolean formulas
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Strengthening convex relaxations of 0/1-sets using Boolean formulas
Quantified Modal Logics: One Approach to Rule (Almost) them All!
Boolean algebras
Boolean Algebras
Boolean Algebras
Boolean algebras
Boolean Mereology
Schwerpunkt: Quantified self