From

Institution

Field

Type

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

Reset

Papers matching “equivalence problem” 49

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

CAUSAL MODELING OF FACTORS IN STUNTING USING THE PETER-CLARK AND GREEDY EQUIVALENCE SEARCH ALGORITHMS
2025 JITK (Jurnal Ilmu Pengetahuan dan Teknologi Komputer) article Computer Science Bayesian Modeling and Causal Inference Open access

Yohani Setiya Rafika Nur, Aminatus Sa’adah, Dasril Aldo, Bidayatul Masulah

2

citations
Equivalence Checking of Quantum Circuits by Model Counting
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Tim Coopmans, Marcello Bonsangue, Alfons Laarman

15

citations
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Heemstra, Jan Martens, Anton Wijs

0

citations
A decomposition-compatible canonization framework for the graph isomorphism problem
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Graph Theory and Algorithms Open access

Daniel Wiebking

0

citations
The 2-Attractor Problem is NP-Complete
2023 arXiv (Cornell University) preprint Computer Science Algorithms and Data Compression Open access

Janosch Fuchs

0

citations
Finite-valued Streaming String Transducers
2025 TheoretiCS article Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Anca Muscholl, Gabriele Puppis, Sarah Winter

2

citations
Finite-valued Streaming String Transducers
2024 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter

0

citations
Proof of a Conjectured 0-Rényi Entropy Inequality With Applications to Multipartite Entanglement
2022 IEEE Transactions on Information Theory article Computer Science Quantum Information and Cryptography Open access

Zhiwei Song, Lin Chen, Yize Sun, Mengyao Hu

7

citations
A First-Order Logic with Frames
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science semigroups and automata theory Open access

1

citations
Generalized Reduction to the Isotropy for Flexible Equivariant Neural Fields
2026 arXiv (Cornell University) preprint Computer Science Topological and Geometric Data Analysis Open access

Alejandro García-Castellanos, Gijs Bellaard, Remco Duits, Daniël M. Pelt, Erik J. Bekkers

0

citations
Numerically stable variants of overrelaxation for operator Sinkhorn iteration
2026 arXiv (Cornell University) preprint Computer Science Matrix Theory and Algorithms Open access

Henrik Eisenmann, Tasuku Soma, Xun Tang, André Uschmajew

0

citations
Laws of mutual spiral wave interaction in excitable media
2026 arXiv (Cornell University) preprint Computer Science Nonlinear Dynamics and Pattern Formation Open access

Tim De Coster, Arstanbek Okenov, Debora Hoogendijk, Arman Nobacht, Mathilde R. Rivaud, Antoine De Vries, +3 more

0

citations
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Niklas Jansen, Hector Geffner

0

citations
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Niklas Jansen, Hector Geffner

0

citations
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
2026 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Niklas Jansen, Hector Geffner

0

citations
An Analysis of the Decidability and Complexity of Numeric Additive Planning
2024 Proceedings of the International Conference on Automated Planning and Scheduling conference-paper Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

1

citations
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
An Algorithmic Meta Theorem for Homomorphism Indistinguishability
2024 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Tim Seppelt

1

citations
Homomorphism Tensors and Linear Equations
2025 Advances in Combinatorics article Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Gaurav Rattan, Tim Seppelt

5

citations
A linear time algorithm for linearizing quadratic and higher-order shortest path problems
2024 Mathematical Programming article Computer Science Complexity and Algorithms in Graphs Open access

Eranda Çela, Bettina Klinz, Stefan Lendl, Gerhard J. Woeginger, Lasse Wulf

2

citations
Energy Consumption Minimization for NOMA-Assisted Mobile Edge Computing
2022 International Symposium on Wireless Communication Systems conference-paper Computer Science IoT and Edge/Fog Computing

Hao Xu, Yao Lin Zhu, Kai Xiang, Yulin Hu, Anke Schmeink

0

citations
What model does MuZero learn?
2023 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Jinke He, Thomas M. Moerland

0

citations
Capacity of the covariance perceptron
2020 Journal of Physics A Mathematical and Theoretical article Computer Science Neural Networks and Applications Open access

7

citations
Capacity of the covariance perceptron
2020 RWTH Publications (RWTH Aachen) article Computer Science Neural Networks and Applications Open access

David Dahmen, Matthieu Gilson, Moritz Helias

6

citations