zweidimensionales bewegtes Bild
Hard Satisfiable Formulas for Splittings by Linear Combinations
- Location
-
Hannover TIB
- Extent
-
85MB, 00:26:33:08 (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
-
Knop, Alexander
Itsykson, Dmitry
- DOI
-
10.5446/59392
- 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
- Knop, Alexander
- Itsykson, Dmitry
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Time of origin
- 2018-01-01
Other Objects (12)
Linear CNF formulas and satisfiability
LINEAR COMBINATIONS OF SZÁSZ-BASKAKOV TYPE OPERATORS
Approximation of Bounded Continuous Functions by Linear Combinations of Phillips Operators
Improving biomedical information retrieval by linear combinations of different query expansion techniques
Linear Combinations of Projections in Type III Factors
Formulas useful for linear regression analysis and related matrix theory : it's only formulas but we like them
Andreotti Grauert theory by integral formulas
Preimages under linear combinations of iterates of finite Blaschke products
Building Multiple Classifier Systems Using Linear Combinations of Reduced Graphs
Fórmulas epistolares
Fórmulas culinarias
Linear Combinations Of Right Invertible Operators In Commutative Algebras With Logarithms
Linear CNF formulas and satisfiability
LINEAR COMBINATIONS OF SZÁSZ-BASKAKOV TYPE OPERATORS
Approximation of Bounded Continuous Functions by Linear Combinations of Phillips Operators
Improving biomedical information retrieval by linear combinations of different query expansion techniques
Linear Combinations of Projections in Type III Factors
Formulas useful for linear regression analysis and related matrix theory : it's only formulas but we like them
Andreotti Grauert theory by integral formulas
Preimages under linear combinations of iterates of finite Blaschke products
Building Multiple Classifier Systems Using Linear Combinations of Reduced Graphs
Fórmulas epistolares
Fórmulas culinarias
Linear Combinations Of Right Invertible Operators In Commutative Algebras With Logarithms
Linear CNF formulas and satisfiability
LINEAR COMBINATIONS OF SZÁSZ-BASKAKOV TYPE OPERATORS
Approximation of Bounded Continuous Functions by Linear Combinations of Phillips Operators
Improving biomedical information retrieval by linear combinations of different query expansion techniques
Linear Combinations of Projections in Type III Factors
Formulas useful for linear regression analysis and related matrix theory : it's only formulas but we like them
Andreotti Grauert theory by integral formulas
Preimages under linear combinations of iterates of finite Blaschke products
Building Multiple Classifier Systems Using Linear Combinations of Reduced Graphs
Fórmulas epistolares
Fórmulas culinarias