Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ludovic Patey
The Complexity of Satisfaction Problems in Reverse Mathematics
Computability
Theoretical Computer Science
Computational Theory
Computer Science Applications
Artificial Intelligence
Mathematics
Related publications
The Resolution Complexity of Random Constraint Satisfaction Problems
SIAM Journal on Computing
Mathematics
Computer Science
Reverse Mathematics
Notices of the American Mathematical Society
Mathematics
Applications of Partial Polymorphisms in (Fine-Grained) Complexity of Constraint Satisfaction Problems
Linköping Studies in Science and Technology. Dissertations
Reverse Mathematics: The Playground of Logic
Bulletin of Symbolic Logic
Philosophy
Logic
Representations of Reals in Reverse Mathematics
Bulletin of the Polish Academy of Sciences Mathematics
Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns
The Gödel Hierarchy and Reverse Mathematics
Advanced Problems in Mathematics
Mathematical Gazette
Mathematics
Reverse Mathematics and Algebraic Field Extensions
Computability
Theoretical Computer Science
Computational Theory
Computer Science Applications
Artificial Intelligence
Mathematics
