A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “arithmetic problem solving” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

citations
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll

0

citations
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll

0

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
Optimal Planning Modulo Theories
2020 International Joint Conference on Artificial Intelligence conference-paper Computer Science AI-based Problem Solving and Planning Open access

Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella

20

citations
Simple Numeric Planning with Two Variables Is Decidable
2025 Frontiers in artificial intelligence and applications book-chapter Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations

6 results