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.

Method for a robust allocation of System Needs for Inertia in the Continental European Power System
2025 IEEE PES Innovative Smart Grid Technologies Europe conference-paper Engineering Power System Optimization and Stability

Mourad Kharrat, Felix Muhl, Albert Moser

1

citations
Digitized, networked optics production
2022 Procedia CIRP article Engineering Digital Transformation in Industry Open access

Jonas Dorißen, Cornelia Rojacher, Tim Grunwald, Robert Heinrich Schmitt, Thomas Bergs

1

citations
Robust transshipment problem under consistent flow constraints
2023 Networks article Computer Science Complexity and Algorithms in Graphs Open access

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

1

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Traffic Control on Freeways Using Variable Speed Limits
2020 IFAC-PapersOnLine article Engineering Traffic control and management Open access

Lorenz Dörschel, Dirk Abel

1

citations
Signed total Italian k-domination in graphs
2021 RWTH Publications (RWTH Aachen) article Computer Science Advanced Graph Theory Research Open access

Lutz Volkmann

1

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Designs in Endlicher Geometrie
2020 RWTH Publications (RWTH Aachen) dissertation Mathematics Finite Group Theory Research Open access

Jesse Lansdown

1

citations
Scalable real-time ride-sharing with meeting points for flexible on-demand public transportation
2021 RWTH Publications (RWTH Aachen) dissertation Engineering Transportation and Mobility Innovations Open access

Sevket Gökay

1

citations
On Hermitian Eisenstein series of degree 2
2022 arXiv (Cornell University) preprint Mathematics Advanced Algebra and Geometry Open access

Adrian Hauffe-Waschbüsch, Aloys Krieg, Brandon Williams

1

citations
Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Benedikt Pago

1

citations
Learning solution of nonlinear constitutive material models using physics-informed neural networks: COMM-PINN
2023 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Shahed Rezaei, Ahmad Moeineddin

1

citations
Angular GitHub Commits Object-centric Event Log
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software Engineering Research Open access

Marco Pegoraro

1

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

citations
The Detection of H2O Maser Emission from Mid-IR Red Galaxies
2025 The Astrophysical Journal article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

Cheng‐Yu Kuo, Anca Constantin, J. A. Braatz, H. H. Chung, Bo-Yan Chen, Dominic W. Pesce, +3 more

1

citations
An Expressive Coalgebraic Modal Logic for Cellular Automata
2025 arXiv (Cornell University) preprint Computer Science Cellular Automata and Applications Open access

Henning Basold, Chase Ford, Lulof Pirée

1

citations
Mode of contact and mood changes during the COVID-19 pandemic: A daily diary study during school closures and re-opened schools
2024 Journal of Social and Personal Relationships article Social Sciences Impact of Technology on Adolescents

Heike Krüger, Clemens Kroneberg, Hanno Kruse

1

citations
Complaint-driven preferences & trust: patient’s views on consulting GP trainees
2022 Education for Primary Care article Medicine Innovations in Medical Education Open access

Sarah de Bever, Suzanne C. van Rhijn, Anneke Wilhelmina Maria Kramer, Jettie Bont, Nynke van Dijk, Mechteld R.M. Visser

1

citations
Deterministic, quenched and annealed parameter estimation for heterogeneous network models
2023 PubMed article Physics and Astronomy Complex Network Analysis Techniques Open access

Marzio Di Vece, Diego Garlaschelli, Tiziano Squartini

1

citations
The Logic of Separation Logic: Models and Proofs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Deterministic, quenched, and annealed parameter estimation for heterogeneous network models
2023 Physical review. E article Physics and Astronomy Complex Network Analysis Techniques Open access

Marzio Di Vece, Diego Garlaschelli, Tiziano Squartini

1

citations
Primary radiotherapy in older adults with basal cell carcinoma: results of the prospective, multicenter BATOA cohort study on treatment burden, short-term outcomes and a comparison with surgically treated patients
2024 EJC Skin Cancer article Medicine Nonmelanoma Skin Cancer Studies Open access

Josje Mangnus, M.E. van Winden, Ewald Maria Bronkhorst, M. Albregts, Tom Rozema, C.J. van Doorn-Wink, +4 more

1

citations
Linking satellites to genes with machine learning to estimate major phytoplankton groups from space
2022 preprint 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

1

citations
Pulse parameters optimization of the modulated x-ray sources for the resolve microcalorimeter spectrometer on XRISM
2022 Space Telescopes and Instrumentation: Ultraviolet to Gamma Ray conference-paper Physics and Astronomy Astronomy and Astrophysical Research Open access

Makoto Sawada, Renata Cumbee, C. P. de Vries, Megan E. Eckart, Ryuichi Fujimoto, Yoshitaka Ishisaki, +6 more

1

citations
Existence of Invariant Probability Measures for Stochastic Differential Equations with Finite Time Delay
2026 SIAM Journal on Applied Dynamical Systems article Mathematics Mathematical Dynamics and Fractals Open access

M. van den Bosch, Onno van Gaans, Sjoerd M. Verduyn Lunel

1

citations