Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gergely Kovásznai
Bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas Into EPR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Matching Multiplications in Bit-Vector Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translating and Validating a Training Needs Assessment Tool Into Greek
BMC Health Services Research
Health Policy
A Quantifier Scoping Algorithm Without a Free Variable Constraint
Continuously Translating Vector-Valued Measures
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Translating Theories Into Practice
The Singapore Family Physician
Translating Research Into Practice
Medical Care
Environmental
Public Health
Occupational Health
Translating Our Microbiome Into Medicine
Medical Journal of Australia
Medicine
Bit-Vector Algorithms for Binary Constraint Satisfaction and Subgraph Isomorphism
Journal of Experimental Algorithmics
Theoretical Computer Science
