zweidimensionales bewegtes Bild
Boolean Satisfiability: Theory and Engineering
- Standort
-
Hannover TIB
- Umfang
-
127MB, 00:25:14:21 (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
-
Vardi, Moshe Y.
- DOI
-
10.5446/59371
- 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
- Vardi, Moshe Y.
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
A boolean satisfiability approach to the resource-constrained project scheduling problem
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Boolean functions : with engineering applications and computer programs
Engineering stochastic local search for the satisfiability problem
The theory of Boolean counterfactual reasoning
Subtype satisfiability and entailment
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
A boolean satisfiability approach to the resource-constrained project scheduling problem
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Boolean functions : with engineering applications and computer programs
Engineering stochastic local search for the satisfiability problem
The theory of Boolean counterfactual reasoning
Subtype satisfiability and entailment
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
A boolean satisfiability approach to the resource-constrained project scheduling problem
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Boolean functions : with engineering applications and computer programs
Engineering stochastic local search for the satisfiability problem
The theory of Boolean counterfactual reasoning
Subtype satisfiability and entailment
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings