- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: SAT 2007 - 10th International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal, May 28-31, 2007
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
2007
- Urheber
-
Scheder, Dominik
Zumstein, Philipp
- URN
-
urn:nbn:de:bsz:180-madoc-411381
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Scheder, Dominik
- Zumstein, Philipp
- Universitätsbibliothek Mannheim
Entstanden
- 2007
Ähnliche Objekte (12)
Satisfiability Modulo Exponential Integer Arithmetic
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Career concerns with exponential learning
Strategic Experimentation with Exponential Bandits
On the Satisfiability of Temporal Logics with Concrete Domains
Exponential families of stochastic processes
Boolean Satisfiability: Theory and Engineering
Extremal colorings and extremal satisfiability
Algorithms for the satisfiability problem
Satisfiability Modulo Exponential Integer Arithmetic
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Career concerns with exponential learning
Strategic Experimentation with Exponential Bandits
On the Satisfiability of Temporal Logics with Concrete Domains
Exponential families of stochastic processes
Boolean Satisfiability: Theory and Engineering
Extremal colorings and extremal satisfiability
Algorithms for the satisfiability problem
Satisfiability Modulo Exponential Integer Arithmetic
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Career concerns with exponential learning
Strategic Experimentation with Exponential Bandits
On the Satisfiability of Temporal Logics with Concrete Domains
Exponential families of stochastic processes
Boolean Satisfiability: Theory and Engineering
Extremal colorings and extremal satisfiability