zweidimensionales bewegtes Bild
A Proof Complexity View of Pseudo-Boolean Solving
- Weitere Titel
-
Proof Systems for Pseudo-Boolean Solving
- Sprache
-
Englisch
- Umfang
-
97MB, 00:29:17:25 (unknown)
- Anmerkungen
-
Audiovisuelles Material
- Standort
-
Hannover TIB
- Erschienen in
-
Theory and Practice of Satisfiability Solving (18w5208) ; (Jan. 2018)
- Beteiligte Personen und Organisationen
-
Vinyals, Marc
Nordström, Jakob
Elffers, Jan
Giráldez Crú, Jesús
Gocht, Stephan
- Ereignis
-
Veröffentlichung
- (wer)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (wann)
-
2018-01-01
- DOI
-
10.5446/59375
- 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
- Vinyals, Marc
- Nordström, Jakob
- Elffers, Jan
- Giráldez Crú, Jesús
- Gocht, Stephan
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
Proof Complexity of Quantified Boolean Formulas
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Pseudo-Boolean Optimization
The complexity of Boolean functions
Proof Complexity 2020
Boolean function complexity : advances and frontiers
On the Complexity of Boolean Unification
Complexity of Boolean functions : 10.03. - 14.03.97
Clausal proofs for pseudo-boolean reasoning
The complexity of Boolean functions from cryptographic viewpoint
Lifting Applied to Proof Complexity
Proof Complexity for SAT practitioner
Proof Complexity of Quantified Boolean Formulas
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Pseudo-Boolean Optimization
The complexity of Boolean functions
Proof Complexity 2020
Boolean function complexity : advances and frontiers
On the Complexity of Boolean Unification
Complexity of Boolean functions : 10.03. - 14.03.97
Clausal proofs for pseudo-boolean reasoning
The complexity of Boolean functions from cryptographic viewpoint
Lifting Applied to Proof Complexity
Proof Complexity for SAT practitioner
Proof Complexity of Quantified Boolean Formulas
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Pseudo-Boolean Optimization
The complexity of Boolean functions
Proof Complexity 2020
Boolean function complexity : advances and frontiers
On the Complexity of Boolean Unification
Complexity of Boolean functions : 10.03. - 14.03.97
Clausal proofs for pseudo-boolean reasoning
The complexity of Boolean functions from cryptographic viewpoint
Lifting Applied to Proof Complexity