Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lefteris M. Kirousis
Approximating the Unsatisfiability Threshold of Random Formulas (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Certifying Unsatisfiability of Random 2k-Sat Formulas Using Approximation Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Minimum Representations of Matched Formulas (Extended Abstract)
A Method of Approximating the Zeros of Functions by Quadratic Formulas.
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Random Formulas Have Frozen Variables
SIAM Journal on Computing
Mathematics
Computer Science
Degree Lower Bounds of Tower-Type for Approximating Formulas With Parity Quantifiers
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Approximating Distributions of Random Functionals of Ferguson-Dirichlet Priors
Canadian Journal of Statistics
Uncertainty
Statistics
Probability
On the Expressivity of Inconsistency Measures (Extended Abstract)
On Privacy Homomorphisms (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstract Poisson Summation Formulas Over Homogeneous Spaces of Compact Groups
Analysis and Mathematical Physics
Mathematical Physics
Number Theory
Analysis
Algebra
