zweidimensionales bewegtes Bild
Algorithms for Satisfiability beyond Resolution
- Weitere Titel
-
Algorithms beyond Resolution using MaxSAT
- Standort
-
Hannover TIB
- Umfang
-
100MB, 00:30:23:16 (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
-
Bonet, Maria Luisa
Buss, Sam
Ignatiev, Alexey
Marques-Silva, Joao
Morgado, Antonio
- DOI
-
10.5446/59387
- 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
- Bonet, Maria Luisa
- Buss, Sam
- Ignatiev, Alexey
- Marques-Silva, Joao
- Morgado, Antonio
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
A PSpace-algorithm for ALCQI-satisfiability
Subtype satisfiability and entailment
Satisfiability with exponential families
Satisfiability Checking for the Coalgebraic µ-Calculus
A PSPACE-algorithm for deciding ALCNIR+-satisfiability
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
A PSpace-algorithm for ALCQI-satisfiability
Subtype satisfiability and entailment
Satisfiability with exponential families
Satisfiability Checking for the Coalgebraic µ-Calculus
A PSPACE-algorithm for deciding ALCNIR+-satisfiability
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
Satisfiability problems
Generalized satisfiability problems
Generalized satisfiability problems
A PSpace-algorithm for ALCQI-satisfiability
Subtype satisfiability and entailment
Satisfiability with exponential families
Satisfiability Checking for the Coalgebraic µ-Calculus