- Alternative title
-
Algorithms beyond Resolution using MaxSAT
- Location
-
Hannover TIB
- Extent
-
100MB, 00:30:23:16 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Theory and Practice of Satisfiability Solving (18w5208) ; (Jan. 2018)
- Event
-
Veröffentlichung
- (who)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (when)
-
2018-01-01
- Contributor
-
Bonet, Maria Luisa
Buss, Sam
Ignatiev, Alexey
Marques-Silva, Joao
Morgado, Antonio
- DOI
-
10.5446/59387
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Bonet, Maria Luisa
- Buss, Sam
- Ignatiev, Alexey
- Marques-Silva, Joao
- Morgado, Antonio
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Time of origin
- 2018-01-01
Other Objects (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