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.

Split Reduplicant Hypothesis
2025 International Journal of Chinese Linguistics article Arts and Humanities Syntax, Semantics, Linguistic Variation

0

citations
Benchmark instances and experimental results for the Colored Knapsack Problem (ColKP)
2026 arXiv (Cornell University) preprint Engineering Optimization and Packing Problems Open access

Fabio Ciccarelli, Alexander Helber, Erik Mühmer

0

citations
The Moran model with random resampling rates
2025 The Annals of Applied Probability article Mathematics Stochastic processes and statistical mechanics Open access

Siva Athreya, Frank den Hollander, Adrian Röllin

0

citations
Multifractal formalism from large deviations
2025 Journal of Mathematical Analysis and Applications article Mathematics Mathematical Dynamics and Fractals Open access

Mirmukhsin Makhmudov, Evgeny A. Verbitskiy, Qian Xiao

0

citations
Developing a Health App Quality Report for CEN-ISO/TS 82304-2 to Satisfy Health Care Professionals’ Information Needs on the Quality of Health Apps: Participatory Design Study
2026 Journal of Participatory Medicine article Health Professions Mobile Health and mHealth Applications Open access

Petra Hoogendoorn, Antanas Montvila, Kristina Ziutelienė, Paulius Algirdas Povilonis, María José Villalobos-Quesada, Niels Henrik Chavannes, +2 more

0

citations
Jurisdiction in EU cross‐border insolvency law, 1st edition. By AntonioLeandro, Cheltenham: Edward Elgar. 2025. xxx + 294 pp. GBP 165. ISBN 978‐1‐03533‐402‐5
2025 International Insolvency Review book-review Social Sciences Corporate Insolvency and Governance

Bob Wessels

0

citations
Integers represented by binary recursive sequences
2025 The Ramanujan Journal article Physics and Astronomy Advanced Mathematical Theories and Applications Open access

0

citations
Megachile (Aethomegachile) conjuncta Smith 1853
2025 article Agricultural and Biological Sciences Hymenoptera taxonomy and phylogeny Open access

Thomas James Wood, Stephan Risch, Michael C. Orr, J. E. Hogan

0

citations
Deutscher Arzneimittel-Codex-aligned multi-dimensional quality assessment of Gastrodiae Rhizoma granules
2026 Frontiers in Pharmacology article Medicine Traditional Chinese Medicine Analysis Open access

Yin Xiong, Yiwei Wu, 车晓彦, Xiuming Cui, Ryan Gene Hornbeck, Yuefei Geng, +3 more

0

citations
The law behind the paywall: accessing EU harmonised standards after Malamud
2026 Law Innovation and Technology article Social Sciences Digitalization, Law, and Regulation Open access

Eduard Fosch‐Villaronga, Mohammed Raiz Shaffique

0

citations
Anthophora atrocaerulea Sichel 1869
2026 Zenodo (CERN European Organization for Nuclear Research) other Agricultural and Biological Sciences Hymenoptera taxonomy and phylogeny Open access

Thomas James Wood

0

citations
A clinical model for differentiating suicidality: a conceptual comparison
2026 Frontiers in Psychology article Psychology Suicide and Self-Harm Studies Open access

Damien S. E. Broekharst, Jonas Gijs Weijers, Marieke H. de Groot, Derek Paul De Beurs, Bart van den Brink, Bart T. H. Lutters, +3 more

0

citations
Code Repository for the Paper "Characterizing Neural Manifolds' Properties and Curvatures using Normalizing Flows" (PRX Life, 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) article Neuroscience Neural dynamics and brain function Open access

Peter Bouss, Sandra Nestler, Kirsten Fischer, Claudia Merger, Lars Schutzeichel, Simon Musall, +2 more

0

citations
A Complex Tension Origin for Dilaton Gravity: Jordan Stiffness and Logarithmic Einstein Dynamics
2026 Preprints.org preprint Physics and Astronomy Cosmology and Gravitation Theories Open access

Michaël Vaillant, Tony C. Scott

0

citations
Data and Implementation: Optimal, Qubit-Efficient Quantum Vehicle Routing via Colored Permutations
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah

0

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Gerhard Lakemeyer

0

citations
The Shizuta-Kawashima Condition for the Barotropic SHTC Two Fluid Model
2024 arXiv (Cornell University) preprint Mathematics Navier-Stokes equation solutions Open access

Ferdinand Thein

0

citations
Normalized field product approach: A parameter-free density evaluation method for close-to-binary solutions in topology optimization with embedded length scale
2024 arXiv (Cornell University) preprint Engineering Topology Optimization in Engineering Open access

Nikhil Pratap Singh, Prabhat Kumar, Anupam Saxena

0

citations
A Newton method for solving locally definite multiparameter eigenvalue problems by multiindex
2024 arXiv (Cornell University) preprint Computer Science Matrix Theory and Algorithms Open access

Henrik Eisenmann

0

citations
Tuning and Testing an Online Feedback Optimization Controller to Provide Curative Distribution Grid Flexibility
2024 arXiv (Cornell University) preprint Engineering Microgrid Control and Optimization Open access

Lukas Ortmann, Florian Klein-Helmkamp, Andreas Ulbig, Saverio Bolognani, Florian Dörfler

0

citations
How to establish a lasting remote work concept in organizations
2024 Publication Server of FIR e. V. an der RWTH Aachen article Social Sciences Work-Family Balance Challenges Open access

Günther (Prof. Dr.-Ing.) Schuh, Clara Herkenrath, Wolfgang Boos, Gerrit Hoeborn, Julian Boenig

0

citations
Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
2020 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

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

0

citations
Nutzer und System im Nutzungskontext - Beherrschbarkeit von Teilautomation
2020 RWTH Publications (RWTH Aachen) dissertation Psychology Human-Automation Interaction and Safety Open access

Johanna Josten

0

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
A flow-based ascending auction to compute buyer-optimal Walrasian prices
2023 arXiv (Cornell University) preprint Economics, Econometrics and Finance Game Theory and Voting Systems Open access

Katharina Eickhoff, S. Thomas McCormick, Britta Peis, Niklas Rieken, Laura Vargas Koch

0

citations