From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 152

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing
2026 Nature Communications article Engineering Advanced Memory and Neural Computing Open access

Haesol Im, Fabian Böhm, Giacomo Pedretti, Noriyuki Kushida, Moslem Noori, Xiangyi Zhang, +9 more

0

citations
Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing
2026 Nature Communications article Engineering Advanced Memory and Neural Computing Open access

Haesol Im, Fabian Böhm, Giacomo Pedretti, Noriyuki Kushida, Moslem Noori, Xiangyi Zhang, +10 more

0

citations
KLIMA: Low-latency mixed-signal In-Memory Computing accelerator for solving arbitrary-order Boolean Satisfiability
2025 IEEE Hot Chips Symposium conference-paper Engineering Advanced Memory and Neural Computing

Tinish Bhattacharya, Dongseok Kwon, George A. Hutchinson, Xiangyi Zhang, Giacomo Pedretti, Fabian Böhm, +5 more

0

citations
Differentiable Content Addressable Memory with Memristors
2022 Advanced Electronic Materials article Engineering Advanced Memory and Neural Computing Open access

Giacomo Pedretti, Catherine E. Graves, Thomas Van Vaerenbergh, Sergey Serebryakov, Martin Foltín, Xia Sheng, +3 more

27

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
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
Memristor-based hardware and algorithms for higher-order Hopfield optimization solver outperforming quadratic Ising machines
2023 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

Mohammad Hizzani, Arne Heittmann, George A. Hutchinson, Dmitrii Dobrynin, Thomas Van Vaerenbergh, Tinish Bhattacharya, +3 more

1

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
Acceleration Techniques for Symbolic Simulation of Railway Timetables
2022 Lecture notes in computer science conference-paper Engineering Railway Systems and Energy Efficiency

Rebecca Haehn, Erika Ábrahám

0

citations
Stable Boundary Conditions and Discretization for $P_N$ Equations
2022 Journal of Computational Mathematics article Engineering Radiative Heat Transfer Studies Open access

Jonas Bünger, Neeraj Sarna, Manuel Torrilhon

6

citations
Dynamic Closed-Loop Validation of a Hardware-in-the-Loop Testbench for Parallel Hybrid Electric Vehicles
2025 World Electric Vehicle Journal article Engineering Real-time simulation and control systems Open access

Marc Timur Düzgün, Christian Heusch, Sascha Krysmon, Christian Dönitz, Sung-Yong Lee, Jakob Andert, +1 more

4

citations
Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations
2025 Annual Conference of the IEEE Industrial Electronics Society (IECON) conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems

Bowen Chen, Tobias Kleinert

2

citations
Kink strengthening and rank-1 connection of crustal rocks
2025 Scientific Reports article Engineering Rock Mechanics and Modeling Open access

Hiroaki Yokoyama, Tomu Ofune, Eranga Jayawickrama, Mitsuhiro Hirano, Sando Sawa, Jun Muto, +1 more

1

citations
Influence of intercritical annealing temperature on formability and mechanical properties of medium-manganese-steel in press hardening
2023 Materials research proceedings conference-paper Engineering Microstructure and Mechanical Properties of Steels Open access

K.J. TILLY

0

citations
Parameterized Complexity of Scheduling Unit-Time Jobs with Generalized Precedence Constraints
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Engineering Scheduling and Optimization Algorithms Open access

Christina Büsing, Corinna Mathwieser

0

citations
Mehrskalige Modellierung des Schädigungs- und Bruchverhaltens nanostrukturierter Schichten
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Metal and Thin Film Mechanics Open access

Shahed Rezaei

0

citations
Parameterized Complexity of Scheduling Unit-TimeJobs with Generalized Precedence Constraints
2025 arXiv (Cornell University) preprint Engineering Scheduling and Optimization Algorithms Open access

Christina Büsing, Maurice Draeger, Corinna Mathwieser

0

citations
Multi-objective Green Delivery Routing with Flexible Time Windows: Minimizing Fossil Fuel Consumption versus Maximizing Quality of Service
2023 Zenodo (CERN European Organization for Nuclear Research) conference-paper Engineering Vehicle Routing Optimization Methods Open access

Michael Emmerich, Burak Gülmez, Yingjie Fan

0

citations
A Survey on Resource Allocation for 5G Heterogeneous Networks: Current Research, Future Trends, and Challenges
2021 IEEE Communications Surveys & Tutorials article Engineering Advanced MIMO Systems Optimization Open access cited by 1 patent

Yongjun Xu, Guan Gui, Haris Gacanin, Fumiyuki Adachi

642

citations
Theory and implementation of inelastic Constitutive Artificial Neural Networks
2024 Computer Methods in Applied Mechanics and Engineering article Engineering Elasticity and Material Modeling Open access

Hagen Holthusen, Lukas Lamm, Tim Brepols, Stefanie Reese, Ellen Kuhl

84

citations
Circular Steel for Fast Decarbonization: Thermodynamics, Kinetics, and Microstructure Behind Upcycling Scrap into High-Performance Sheet Steel
2024 Annual Review of Materials Research review Engineering Iron and Steelmaking Processes Open access

Dierk Raabe, Matic Jovičević Klug, Dirk Ponge, Alexander Gramlich, Alisson Kwiatkowski da Silva, A. Nicholas Grundy, +2 more

80

citations
Multiple Unmanned-Aerial-Vehicles Deployment and User Pairing for Nonorthogonal Multiple Access Schemes
2020 IEEE Internet of Things Journal article Engineering UAV Applications and Optimization cited by 1 patent

Jie Wang, Miao Liu, Jinlong Sun, Guan Gui, Haris Gacanin, Hikmet Sari, +1 more

75

citations
NdFeB Magnets Recycling Process: An Alternative Method to Produce Mixed Rare Earth Oxide from Scrap NdFeB Magnets
2021 Metals article Engineering Extraction and Separation Processes Open access

Elif Emil-Kaya, Ozan Kaya, Srećko R. Stopić, Sebahattin Gürmen, Bernd G. Friedrich

65

citations
Scenarios for anthropogenic copper demand and supply in China: implications of a scrap import ban and a circular economy transition
2020 Resources Conservation and Recycling article Engineering Extraction and Separation Processes Open access

Luis A. Tercero Espinoza, Antonia Loibl, Matthias Pfaff, Arnold Tukker, Ester van der Voet

63

citations
Flash Pyrolysis Kinetics of Extracted Lignocellulosic Biomass Components
2021 Frontiers in Energy Research article Engineering Thermochemical Biomass Conversion Processes Open access

Stefan Pielsticker, Benjamin Gövert, Kentaro Umeki, Reinhold Kneer

38

citations