From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 815

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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

Janosch Fuchs

0

citations
Electromagnetic Surgical Navigation for Accurate Pediatric Tumor Localization: A Preclinical Animal Cadaver Study
2026 Cancers article Engineering Anatomy and Medical Technology Open access

Jasper M. van der Zee, Marijn A. J. Hiep, Vera Josefien van Boheemen, Guus M.J. Bökkerink, Wouter J. Heerink, Matthijs Fitski, +5 more

0

citations
RETRACTED: Dirac leptogenesis via scatterings
2023 Physical review. D/Physical review. D. article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Julian Heeck, Jan Heisig, Anil Thapa

0

citations
Dual spaces vs. Haar measures of polynomial hypergroups
2022 arXiv (Cornell University) preprint Mathematics Mathematical functions and polynomials Open access

Stefan Kahler, Ryszard Szwarc

0

citations
Low-rank tensor methods for Markov chains with applications to tumor progression models
2020 arXiv (Cornell University) preprint Mathematics Tensor decomposition and applications Open access

Lars Grasedyck, Maren Klever, Rudolf Schill, Rainer Spang, Tilo Wettig

0

citations
Robust transshipment problem under consistent flow constraints
2022 RWTH Publications (RWTH Aachen) article Computer Science Complexity and Algorithms in Graphs Open access

Christina Büsing, Arie M. C. A. Koster, Sabrina Schmitz

0

citations
The groups 𝐺 satisfying a functional equation 𝑓(𝑥𝑘) = 𝑥𝑓(𝑥) for some 𝑘 ∈ 𝐺
2022 Journal of Group Theory article Mathematics Finite Group Theory Research Open access

Tim Boykett, Alice Devillers, Johannes Flake, S. P. Glasby

0

citations
Log-concavity and log-convexity of restricted infinite products
2026 International Journal of Number Theory article Mathematics Advanced Mathematical Identities Open access

Krystian Gajdzica, Bernhard E. Heim, Markus Neuhauser

0

citations
Generous Roman Domination Subdivision Number in Graph
2025 European Journal of Pure and Applied Mathematics article Computer Science Advanced Graph Theory Research Open access

Jamil J. Hamja, Seyed Mahmoud Sheikholeslami, Lutz Volkmann, Imelda S. Aniversario, Lucille M. Bugo

0

citations
A Design Flow and EDA-Tool for an Automated Implementation of ASIC Configuration Interfaces
2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Computer Science Embedded Systems Design Techniques

Johannes Bastl, Jonas Meier, Ralf Wunderlich, Stefan J. Heinen

0

citations
Superbinomial coefficients
2021 Journal of Algebraic Combinatorics article Mathematics Advanced Combinatorial Mathematics Open access

Kathrin Maurischat, Rainer Weissauer

0

citations
Computing Tarski Fixed Points in Financial Networks
2026 arXiv (Cornell University) preprint Economics, Econometrics and Finance Banking stability, regulation, efficiency Open access

Leander Besting, Martin Hoefer, Lars Huth

0

citations
MOVPE technology progress for GaO-based devices
2026 Oxide-based Materials and Devices conference-paper Materials Science Ga2O3 and related materials

M. Heuken

0

citations
Establishing Shape Correspondences: A Survey
2026 Computer Graphics Forum article Computer Science 3D Shape Modeling and Analysis Open access

A. Heuschling, H. Meinhold

0

citations
Regular origamis with totally non-congruence groups as Veech groups
2021 arXiv (Cornell University) preprint Mathematics Mathematical Dynamics and Fractals Open access

Andrea Thevis

0

citations
Combined use of structurally-coupled and petrophysically-coupled joint inversion for the characterization of rock glaciers
2022 conference-abstract Earth and Planetary Sciences Geophysical and Geoelectrical Methods Open access

Mirko Pavoni, Jacopo Boaga, Florian Wagner, Alexander Bast, Marcia Phillips

0

citations
Quasi-Zero-Stiffness Design for 6-DoF Vibration Isolation of High-Mass Systems Across Broad Frequency Ranges
2026 Machines article Engineering Vibration Control and Rheological Fluids Open access

Johannes Bolk, Jan-Lukas Archut, Marwène Nefzi, Burkhard J. Corves

0

citations
Safety Screening for Voltage Control in Active Distribution Grids via Distributionally Robust Conformal Screening
2026 arXiv (Cornell University) preprint Engineering Optimal Power Flow Distribution Open access

Sarra Bouchkati, Petros Ellinas, Adriana Geisler, Steffen Kortmann, Johanna Vorwerk, Spyros Chatzivasileiadis, +1 more

0

citations
Active Surface Clustering for Component Generation from System Models
2026 Systems article Engineering Manufacturing Process and Optimization Open access

Gert Hartmann, Georg Jacobs, Kathrin Spütz, Sebastian Felix Scholl

0

citations
Resnikoff Silver Numbers and Tilings of the Half-Line (Dedicated to the Memory of H.L. Resnikoff)
2026 Bulletin of the Malaysian Mathematical Sciences Society article Materials Science Quasicrystal Structures and Properties Open access

Josef F. Dorfmeister, Sebastian Walcher

0

citations
Electrochemical aptamer biosensors for the detection of amyloid-beta oligomers
2020 RWTH Publications (RWTH Aachen) dissertation Biochemistry, Genetics and Molecular Biology Advanced biosensing and bioanalysis techniques Open access

Yuting Zhang

0

citations
Energy economics: The case of emission markets
2020 EPJ Web of Conferences conference-paper Economics, Econometrics and Finance Climate Change Policy and Economics Open access

Georg Erdmann, Aaron Praktiknjo

0

citations
Resource allocation for future wireless relay systems; 1. Auflage
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Full-Duplex Wireless Communications Open access

Vimal Radhakrishnan

0

citations
Patient and healthcare provider perspectives on a digital first general practice: mixed-method study
2024 European Journal of Public Health article Medicine Telemedicine and Telehealth Implementation Open access

Anke Versluis, Romy Fleur Willemsen, Niels Henrik Chavannes, Jiska Joëlle Aardoom

0

citations
(121) DISCREPANCY IN SEXUAL DYSFUNCTION, SEXUAL DESIRE, AND RELATIONSHIP SATISFACTION BETWEEN MALE AND FEMALE PARTNERS DURING THE POSTPARTUM PERIOD AND THE IMPACT OF POSTPARTUM DEPRESSION
2024 The Journal of Sexual Medicine article Medicine Sexual function and dysfunction studies Open access

M Contractor, Mary Lynn, Sandi Tenfelde

0

citations