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.

On the Palais-Smale condition in geometric knot theory
2025 arXiv (Cornell University) preprint Mathematics Geometric Analysis and Curvature Flows Open access

Nicolas Freches, Daniel Steenebrügge, Heiko von der Mosel

3

citations
Single Center and Surgeon’s Long-Term (15-19 Years) Patient Satisfaction and Revision Rate of Round Textured Eurosilicone Breast Implants
2021 Aesthetic Surgery Journal article Medicine Breast Implant and Reconstruction Open access

Laurens Kooiman, Bart Torensma, Hieronymus P. J. D. Stevens, Berend van der Lei

3

citations
Implementing enhancements in supervised group exercise for people with axial spondyloarthritis: a hybrid effectiveness–implementation study
2021 Scandinavian Journal of Rheumatology article Medicine Spondyloarthritis Studies and Treatments Open access

Bas Hilberdink, Florus J van der Giesen, T. P. M. Vliet Vlieland, Leti van Bodegom‐Vos, Salima F. E. van Weely

3

citations
Conserved moiety fluxomics
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Microbial Metabolic Engineering and Bioproduction Open access

Ronan M. T. Fleming, Hulda S. Haraldsdóttir, German Preciat, Luojiao Huang, Ines Thiele, Amy C. Harms, +1 more

3

citations
Telemedicine Improves Performance of a Two-Incision Lower Leg Fasciotomy by Combat Medics: A Randomized Controlled Trial
2023 Military Medicine article Medicine Telemedicine and Telehealth Implementation Open access

Pieter W. Stark, Boudewijn L.S. Borger van der Burg, Thijs T. C. F. van Dongen, Marnalg Casper, Wouter, Rigo Hoencamp

3

citations
Patient adherence and satisfaction with self-administration of prophylactic Low Molecular Weight Heparin (LMWH) after orthopaedic trauma surgery: a prospective observational cohort study
2026 Thrombosis Research article Medicine Medication Adherence and Compliance Open access

Ebru Horzum, Pieta Krijnen, Jochem Maarten Hoogendoorn, F.A. Klok, Inger Birgitta Schipper

3

citations
Cross-cultural adaptation and psychometric testing of the Dutch and German versions of the Evaluation of Daily Activity Questionnaire in people with rheumatoid arthritis
2020 Rheumatology International article Medicine Rheumatoid Arthritis Research and Therapies Open access

Alison Hammond, Jorit J. L. Meesters, Karin Niedermann, Alan H. Tennant, T. P. M. Vliet Vlieland, Sarah F. Tyson, +1 more

3

citations
Efficient Production of Specialized Polymers with Highly Flexible Small‐Scale Plants
2021 Chemical Engineering & Technology article Engineering Process Optimization and Integration Open access

Bastian Bruns, Tristan Becker, Julia Riese, Stefan Lier, Brigitte Werners

3

citations
Low-achieving adolescent students' perspectives on their interactions with classmates. An exploratory study to inform the implementation of a social emotional learning program in prevocational education
2023 Children and Youth Services Review article Social Sciences Early Childhood Education and Development Open access

Marion C. E. van de Sande, Minne Fekkes, René F. W. Diekstra, Carolien Gravesteijn, Paul Kocken, Ria Reis

3

citations
Scalable Fairness
2025 ACM Conference on Fairness, Accountability, and Transparency (FAccT) conference-paper Social Sciences Digitalization, Law, and Regulation Open access

Gianclaudio Malgieri

3

citations
Consensus update on twin‐twin transfusion syndrome staging: An international Delphi study
2025 Pregnancy article Medicine Assisted Reproductive Technology and Twin Pregnancy Open access

Bettina W. Paek, Martin P. R. Walker, Liesbeth Lewi, Femke Slaghekke, Sarah Gloria Običan, Ramesha M. Papanna, +9 more

3

citations
Quantifying the effect of X-ray scattering for data generation in real-time defect detection
2024 Journal of X-Ray Science and Technology article Engineering Non-Destructive Testing Techniques Open access

Vladyslav Andriiashen, Robert van Liere, Tristan van Leeuwen, Kees Joost Batenburg

3

citations
Consensus and controversies on post-acute care decision making and referral to geriatric rehabilitation: A national survey
2024 International Journal of Nursing Studies Advances article Health Professions Geriatric Care and Nursing Homes Open access

Aafke J. de Groot, Ewout B Smit, Dagmar Keizer, Cees M.P.M. Hertogh, Romke van Balen, Johannes C. van der Wouden, +1 more

3

citations
Trade-offs between classical and quantum space using spooky pebbling
2025 Logical Methods in Computer Science article Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Alfons Laarman

3

citations
Nonnegative signed total Roman domination in graphs
2020 DOAJ (DOAJ: Directory of Open Access Journals) article Computer Science Advanced Graph Theory Research Open access

Nasrin Dehgardi, Lutz Volkmann

3

citations
On Effectiveness of Exploration Strategies in Deep Reinforcement Learning for Power Allocation in Multi-Carrier Wireless Systems
2023 IEEE International Conference on Communications workshops conference-paper Engineering Advanced Wireless Network Optimization

Amna Kopic, Kenan Turbić, Haris Gacanin

3

citations
Computational complexity of the homology problem with orientable filtration: MA-completeness
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Casper Gyurik, Mahtab Yaghubi Rad, Vedran Dunjko

3

citations
On Reward Shaping Methods in Deep Reinforcement Learning for Radio Resource Management in Wireless Networks
2023 IEEE International Conference on Communications workshops conference-paper Engineering Advanced Wireless Network Optimization

Amna Kopic, Kenan Turbić, Haris Gacanin

3

citations
A Newton Method for Solving Locally Definite Multiparameter Eigenvalue Problems by Multi-index
2025 SIAM Journal on Matrix Analysis and Applications article Computer Science Matrix Theory and Algorithms Open access

Henrik Eisenmann

3

citations
Exponential dichotomies for nonlocal differential operators with infinite range interactions
2021 Journal of Differential Equations article Mathematics Nonlinear Differential Equations Analysis Open access

Willem M. Schouten-Straatman, Hermen Jan Hupkes

3

citations
Normalized Field Product Approach: A Parameter‐Free Density Evaluation Method for Close‐To‐Binary Solutions in Topology Optimization With Embedded Length Scale
2025 International Journal for Numerical Methods in Engineering article Engineering Topology Optimization in Engineering Open access

Prabhat Kumar, Anupam Saxena

3

citations
Design study for a multicomponent transducer for wind turbine test benches
2020 Journal of sensors and sensor systems article Computer Science Sensor Technology and Measurement Systems Open access

Jonas Gnauert, Georg Jacobs, Stefan Kock, Dennis Bosse, Benjamin Janik

3

citations
Characterization and testing of the IceCube Upgrade mDOM
2023 International Cosmic Ray Conference conference-paper Physics and Astronomy Particle Detector Development and Performance Open access

Sarah Mechbal, Nora Feigl

3

citations
Prediction of Specific Volume of Polypropylene at High Cooling Rates by Artificial Neural Networks
2021 Industrial & Engineering Chemistry Research article Materials Science Machine Learning in Materials Science

Jian Wang, Christian Hopmann, Ben Liu, Yannik Lockner

3

citations
Using Excel as a Tool to Teach Manufacturing and Heat Transfer
2024 conference-paper Engineering Engineering Education and Pedagogy Open access

Odon M. Musimbi, Jean Paul Mulanza

3

citations