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.

Optimal entanglement-assisted source coding under a balanced-difference promise
2026 arXiv (Cornell University) preprint Physics and Astronomy Quantum Information and Cryptography Open access

Julius A. Zeiss

0

citations
Higgs Strahlung via contact interactions through next-to-next-to-leading order QCD
2026 RWTH Publications (RWTH Aachen) dissertation Physics and Astronomy Particle physics theoretical and experimental studies Open access

Dmitrii Korneev

0

citations
Fehlertolerante Energiebordnetzarchitekturen für sicherheitsrelevante Fahrzeugfunktionen
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Safety Systems Engineering in Autonomy Open access

Mathias Peter Dunst

0

citations
Interdisciplinary lower extremity reconstruction in peripheral artery disease with AV-loops and latissimus dorsi flaps
2025 RWTH Publications (RWTH Aachen) dissertation Medicine Reconstructive Surgery and Microvascular Techniques Open access

Reß. Simon

0

citations
Rethinking the Goal of Bankruptcy Proceedings
2023 Erasmus Law Review article Business, Management and Accounting Corporate Insolvency and Governance Open access

Jessie M.W. Pool

0

citations
Deciding minimal distinguishing DFAs is NP-complete
2023 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Martens

0

citations
Establishing the availability of the mammalian genus name Antillomys and species name Antillomys rayi (Rodentia, Cricetidae)
2023 Therya article Earth and Planetary Sciences Evolution and Paleontology Studies Open access

Selina Brace, Samuel T. Turvey, Marcelo Weksler, Menno L. P. Hoogland, Ian Barnes

0

citations
Editorial: Rising stars in inflammation 2021
2023 Frontiers in Immunology editorial Immunology and Microbiology Immune Response and Inflammation Open access

Andrea Baragetti, Jolien Suurmond, Pedro Elias Marques, Luciana P. Tavares

0

citations
Surgery for aberrant origin of coronary arteries from the aorta: questions that remain and how we may find the answers
2023 European Journal of Cardio-Thoracic Surgery article Medicine Coronary Artery Anomalies Open access

Mark Gerard Hazekamp

0

citations
Enabling Variant Proteogenomic Assay Development Through a Peptide Target Selection Pipeline and Web Application
2026 PROTEOMICS article Chemistry Advanced Proteomics Techniques and Applications Open access

Constantinos Blidjios, Pallab Bhowmick, Vincent R. Richard, Yassene Mohammed, Christoph H. Borchers

0

citations
LANCER: LLM Reranking for Nugget Coverage
2026 arXiv (Cornell University) preprint Computer Science Information Retrieval and Search Behavior Open access

Jia-Huei Ju, François-Guillaume Landry, Eugene Yang, Suzan Verberne, Andrew Yates

0

citations
KiDS-Legacy: Constraints on Horndeski gravity from weak lensing combined with galaxy clustering and cosmic microwave background anisotropies
2026 Springer Link (Chiba Institute of Technology) article Physics and Astronomy Cosmology and Gravitation Theories Open access

Benjamin Stölzner, Robert Reischke, Matteo Grasso, Matteo Cataneo, Benjamin Joachimi, Arthur Loureiro, +22 more

0

citations
Comment on gmd-2022-226
2023 peer-review Environmental Science Groundwater flow and contamination studies Open access

0

citations
Comment on gmd-2022-226
2023 peer-review Environmental Science Groundwater flow and contamination studies Open access

Jarno Verkaik, Edwin H. Sutanudjaja, Gualbert Oude Essink, Hai Xiang Lin, Marc F. P. Bierkens

0

citations
Comment on egusphere-2022-1421
2023 peer-review Earth and Planetary Sciences Marine and coastal ecosystems Open access

Roy El Hourany, Juan José Pierella Karlusich, Lucie Zinger, Hubert Loisel, Marina Lévy, Chris Bowler

0

citations
Fairness of Poalrization Measures - experiments for the audit paper.
2026 Code Ocean software Physics and Astronomy Opinion Dynamics and Social Influence Open access

Stanisław Stępień, Michalina Janik, Akrati Saxena, Radosław Michalski

0

citations
Phonon-dominated thermal conductivity of a superconducting amorphous MoSi thin film
2026 arXiv (Cornell University) preprint Materials Science Thermal properties of materials Open access

Jacopo Piantanida Chiesa, Tom Q. Post, Martin P. Van Exter, M. J. A. de Dood

0

citations
Defining the structural traits and problems of neurosurgical departments in Europe
2022 Brain and Spine article Social Sciences Diversity and Career in Medicine Open access

Stiliana Mihaylova, S.H. Duran, Daniela Luminita Ivan, P. Vayssière, S. Al-Ahmad, E. Tsoneva, +14 more

0

citations
Response particles and verbal identity
2022 Journal of Uralic Linguistics article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Anikó Lipták

0

citations
P13-A113 The EVEIT bioreactor system as platform for artificial cornea prototypes
2023 conference-paper Medicine Corneal Surgery and Treatments Open access

Markus Glaudo, Claudia Panfil, Norbert Franz Schrage

0

citations
A Conservative Cartesian Cut Cell Method for the Solution of the Incompressible Navier-Stokes Equations on Staggered Meshes
2022 arXiv (Cornell University) preprint Engineering Computational Fluid Dynamics and Aerodynamics Open access

Alejandro Quirós Rodríguez, Tomas Fullana, Vincent Le Chenadec, Taraneh Sayadi

0

citations
On the thermodynamic consistency of experimentally determined fluid properties
2020 conference-paper Chemical Engineering Thermodynamic properties of mixtures Open access

Enrico Pasquini, Hubertus Murrenhoff, Katharina Schmitz

0

citations
Meeting, coalescence and consensus time on random directed graphs
2023 arXiv (Cornell University) preprint Mathematics Stochastic processes and statistical mechanics Open access

Luca Avena, Federico Capannoli, Rajat Subhra Hazra, Matteo Quattropani

0

citations
Fourth-Order Paired-Explicit Runge-Kutta Methods
2025 Research Square preprint Mathematics Numerical methods for differential equations Open access

Daniel Doehring, Lars Christmann, Michael Schlottke‐Lakemper, Gregor J. Gassner, Manuel Torrilhon

0

citations
Belief Revision in a Probabilistic Setting
2025 Principles of Knowledge Representation and Reasoning conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

James P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack

0

citations