From

Institution

Field

Type

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

Reset

Papers matching “Boolean functions” 53

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
Towards a 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

2

citations
Quadratic reformulations for the optimization of pseudo-boolean functions
2022 HAL (Le Centre pour la Communication Scientifique Directe) conference-paper Mathematics Advanced Optimization Algorithms Research

Yves Crama, Sourour Elloumi, Amélie Lambert, Elisabeth Rodríguez-Heck

0

citations
Reconstructing Boolean Functions From MAGIC Logic-in-Memory Using Power Side-Channel Attacks
2026 IEEE Transactions on Very Large Scale Integration (VLSI) Systems article Computer Science Physical Unclonable Functions (PUFs) and Hardware Security

Lorenzo Pfeifer, Rainer Leupers, Jan Moritz Joseph

0

citations
Runtime Analysis of Cartesian Genetic Programming in Evolving Boolean Functions
2026 Lecture notes in computer science conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Duc-Cuong Dang, Roman Kalkreuth, Andre Opris

0

citations
Extracting reaction systems from function behavior
2020 Journal of Membrane Computing article Biochemistry, Genetics and Molecular Biology DNA and Biological Computing Open access

Daniela Genova, Hendrik Jan Hoogeboom, Zornitza Genova Prodanoff

10

citations
Efficient Local Search for Pseudo Boolean Optimization
2021 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization Open access

Zhendong Lei, Shaowei Cai, Chuan Wen Luo, Holger H. Hoos

7

citations
Heterosynaptic Plasticity and Neuromorphic Boolean Logic Enabled by Ferroelectric Polarization Modulated Schottky Diodes
2022 Advanced Electronic Materials article Engineering Advanced Memory and Neural Computing Open access

Fengben Xi, Andreas Grenmyr, Jiayuan Zhang, Yi Han, Jin Hee Bae, Detlev Grützmacher, +1 more

17

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
P03.06 Boolean logic puzzles as a neurosurgical mapping tool to preserve programming skill
2021 Neuro-Oncology conference-abstract Medicine Glioma Diagnosis and Treatment

Marike Donders-Kamphuis, Bas F.W. van der Kallen, Marike L. D. Broekman

0

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
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
Realization of Memristor-aided Logic Gates with Analog Memristive Devices
2022 International Conference on Modern Circuits and Systems Technologies conference-paper Engineering Advanced Memory and Neural Computing

Hao Cai, Ziang Chen, Xianyue Zhao, Christopher Bengel, Feng Liu, Heidemarie Schmidt, +2 more

6

citations
From Tensor Networks to Tractable Circuits, and back
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman

0

citations
From Tensor Networks to Tractable Circuits, and Back
2026 conference-paper Computer Science Advanced Graph Theory Research Open access

Arend-Jan Quist, Marc Farreras, Alexis de Colnet, John van de Wetering, Alfons Laarman

0

citations
From Tensor Networks to Tractable Circuits, and back
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman

0

citations
Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Alexis de Colnet, Thomas Reps, Alfons Laarman

0

citations
Data sets for the study "Automated Configuration of Genetic Algorithms by Tuning for Anytime Performance."
2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Carola Doerr, Hao Wang, Thomas Bäck

0

citations
Data sets for the study "Automated Configuration of Genetic Algorithms by Tuning for Anytime Performance."
2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Carola Doerr, Hao Wang, Thomas Bäck

0

citations
Automated Configuration of Genetic Algorithms by Tuning for Anytime Performance
2022 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Carola Doerr, Hao Wang, Thomas Bäck

22

citations
Artificial Intelligence for the Design of Symmetric Cryptographic Primitives
2022 Lecture notes in computer science conference-paper Computer Science Cryptographic Implementations and Security Open access

Luca Mariot, Domagoj Jakobović, Thomas Bäck, Julio Cesar Hernandez-Castro

11

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
Curing ill-Conditionality via Representation-Agnostic Distance-Driven Perturbations
2023 conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Kirill Antonov, Anna V. Kononova, Thomas Bäck, Bas van Stein

2

citations
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, +2 more

7

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