Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL von Thiemann, René, Bottesch, Ralph, Divasón, Jose, Haslbeck, Max W., Joosten, Sebastiaan J. C., Yamada, Akihisa

Volltext

A Hierarchy of Polynomial Kernels von Witteveen, Jouke, Bottesch, Ralph, Torenvliet, Leen

Volltext

Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL von Bottesch, Ralph, Haslbeck, Max W., Reynaud, Alban, Thiemann, René

Volltext

Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL von Bottesch, Ralph, Haslbeck, Max W., Thiemann, René

Volltext

Equality, Revisited von Bottesch, Ralph, Gavinsky, Dmitry, Klauck, Hartmut

Volltext

Relativization and Interactive Proof Systems in Parameterized Complexity Theory von Bottesch, Ralph Christian

Volltext

On W[1]-Hardness as Evidence for Intractability von Bottesch, Ralph C

Volltext bestellen

A Hierarchy of Polynomial Kernels von Witteveen, Jouke, Bottesch, Ralph, Torenvliet, Leen

Volltext

On W[1]-Hardness as Evidence for Intractability von Bottesch, Ralph C

Volltext

Equality, Revisited von Bottesch, Ralph C, Gavinsky, Dmytro, Klauck, Hartmut

Volltext bestellen

Correlation in Hard Distributions in Communication Complexity von Bottesch, Ralph C, Gavinsky, Dmitry, Klauck, Hartmut

Volltext bestellen

Equality, Revisited von Bottesch, Ralph C, Gavinsky, Dmytro, Klauck, Hartmut

Volltext

Correlation in Hard Distributions in Communication Complexity von Bottesch, Ralph C, Gavinsky, Dmitry, Klauck, Hartmut

Volltext