- Weitere Titel
-
Lifting in Proof Complexity
- Sprache
-
Englisch
- Umfang
-
0MB, 00:51:44:01 (unknown)
- Anmerkungen
-
Audiovisuelles Material
- Standort
-
Hannover TIB
- Erschienen in
-
Proof Complexity (20w5144) ; (Jan. 2020)
- Beteiligte Personen und Organisationen
-
Vinyals, Marc
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
- Ereignis
-
Veröffentlichung
- (wer)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (wann)
-
2020-01-01
- DOI
-
10.5446/55829
- Letzte Aktualisierung
-
04.12.2024, 08:10 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 (Organisation)
- Atserias, Albert (Organisation)
- Pudlak, Pavel (Organisation)
- Santhanam, Rahul (Organisation)
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Proof Complexity 2020
Proof Complexity for SAT practitioner
Non-classical aspects in proof complexity
Proof Complexity of Quantified Boolean Formulas
Proof complexity of Satisfiability Modulo Theories
Applied proof theory: proof interpretations and their use in mathematics
Why are Proof Complexity Lower Bounds Hard?
Lifting.
A Proof Complexity View of Pseudo-Boolean Solving
A Finite-Model-Theoretic View on Propositional Proof Complexity
Lifting belly
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Proof Complexity 2020
Proof Complexity for SAT practitioner
Non-classical aspects in proof complexity
Proof Complexity of Quantified Boolean Formulas
Proof complexity of Satisfiability Modulo Theories
Applied proof theory: proof interpretations and their use in mathematics
Why are Proof Complexity Lower Bounds Hard?
Lifting.
A Proof Complexity View of Pseudo-Boolean Solving
A Finite-Model-Theoretic View on Propositional Proof Complexity
Lifting belly
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Proof Complexity 2020
Proof Complexity for SAT practitioner
Non-classical aspects in proof complexity
Proof Complexity of Quantified Boolean Formulas
Proof complexity of Satisfiability Modulo Theories
Applied proof theory: proof interpretations and their use in mathematics
Why are Proof Complexity Lower Bounds Hard?
Lifting.
A Proof Complexity View of Pseudo-Boolean Solving
A Finite-Model-Theoretic View on Propositional Proof Complexity