From

Institution

Field

Type

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

Reset

Papers matching “Boolean function complexity” 17

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

General Boolean Function Benchmark Suite
2023 conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Roman Kalkreuth, Zdeněk Vašíček, Jakub Husa, Diederick Vermetten, Furong Ye, Thomas Bäck

4

citations
The Descriptive Complexity of Graph Neural Networks
2024 TheoretiCS article Computer Science Complexity and Algorithms in Graphs Open access

Martin Grohe

3

citations
The Descriptive Complexity of Graph Neural Networks
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Complexity and Algorithms in Graphs

Martin Grohe

7

citations
The Descriptive Complexity of Graph Neural Networks
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Advanced Graph Theory Research Open access

Martin Grohe

4

citations
Boolean Operation for CAD Models Using a Hybrid Representation
2025 ACM Transactions on Graphics article Computer Science Computational Geometry and Mesh Generation Open access

Yingyu Yang, Xiaohong Jia, Bolun Wang, Jieyin Yang, Shiqing Xin, Dong‐Ming Yan

4

citations
Explaining Boolean-Logic Driven Markov Processes using GSPNs
2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries
2025 Proceedings of the ACM on Management of Data article Computer Science Advanced Database Systems and Queries Open access

Christoph Standke, Benny Kimelfeld

0

citations
Computing High-Degree Polynomial Gradients in Memory
2024 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

George Hutchinson, Giacomo Pedretti, Xia Sheng, Jim Ignowski, Thomas Van Vaerenbergh, Raymond G. Beausoleil, +2 more

1

citations
A Novel Approach to Designing Surrogate-assisted Genetic Algorithms by Combining Efficient Learning of Walsh Coefficients and Dependencies
2021 ACM Transactions on Evolutionary Learning and Optimization article Computer Science Metaheuristic Optimization Algorithms Research Open access

Arkadiy Dushatskiy, Tanja Alderliesten, Peter A. N. Bosman

14

citations
Precedence constraints in combinatorial optimization
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Corinna Mathwieser

0

citations
Computing high-degree polynomial gradients in memory
2024 Nature Communications article Engineering Advanced Memory and Neural Computing Open access cited by 1 patent

Tinish Bhattacharya, George Higgins Hutchinson, Giacomo Pedretti, Xia Sheng, Jim Ignowski, Thomas Van Vaerenbergh, +3 more

22

citations
Certifying Constraints in Hardware Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

0

citations
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
2023 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman

26

citations
Faults representation and uncertainty quantification in three-dimensional implicit geological modeling with neural network
2026 RWTH Publications (RWTH Aachen) dissertation Earth and Planetary Sciences Geological Modeling and Analysis Open access

Kaifeng Gao

0

citations
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic
2023 IEEE Interregional NEWCAS Conference (NEWCAS) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security

Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more

3

citations
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations

17 results