zweidimensionales bewegtes Bild
On CDCL-based Proof Systems with the Ordered Decision Strategy
- Standort
-
Hannover TIB
- Umfang
-
111MB, 00:29:53:00 (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
-
Mull, Nathan
- DOI
-
10.5446/59386
- 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
- Mull, Nathan
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
Strategy-proof probabilistic mechanisms for public decision with money
Strategy-Proof Exchange
Strategy-Proof Package Assignment
Strategy-Proof Allotment Rules
Strategy-Proof Allocation Mechanisms
Strategy-Proof and Fair Wages
Proof Presentation Based on Proof Plans
Contractual federalism and strategy-proof coordination
Strategy-proof Location on a Network
Strategy-Proof Allocation of Objects Revisited
A strategy-proof mechanism should be announced to be strategy-proof: An experiment for the Vickrey auction
The Mechanization of the Diagonalization Proof Strategy
Strategy-proof probabilistic mechanisms for public decision with money
Strategy-Proof Exchange
Strategy-Proof Package Assignment
Strategy-Proof Allotment Rules
Strategy-Proof Allocation Mechanisms
Strategy-Proof and Fair Wages
Proof Presentation Based on Proof Plans
Contractual federalism and strategy-proof coordination
Strategy-proof Location on a Network
Strategy-Proof Allocation of Objects Revisited
A strategy-proof mechanism should be announced to be strategy-proof: An experiment for the Vickrey auction
The Mechanization of the Diagonalization Proof Strategy
Strategy-proof probabilistic mechanisms for public decision with money
Strategy-Proof Exchange
Strategy-Proof Package Assignment
Strategy-Proof Allotment Rules
Strategy-Proof Allocation Mechanisms
Strategy-Proof and Fair Wages
Proof Presentation Based on Proof Plans
Contractual federalism and strategy-proof coordination
Strategy-proof Location on a Network
Strategy-Proof Allocation of Objects Revisited
A strategy-proof mechanism should be announced to be strategy-proof: An experiment for the Vickrey auction