From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 28

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach

0

citations
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Scale-invariant geometric curvature functionals, and characterization of Lipschitz- and $C^1$-submanifolds
2021 RWTH Publications (RWTH Aachen) dissertation Mathematics Geometric Analysis and Curvature Flows Open access

Bastian Käfer

1

citations
Low-rank tensor methods for high-dimensional parameter-dependent PDEs: eigenvalue estimation, approximate inverses, and multigrid methods
2026 RWTH Publications (RWTH Aachen) dissertation Mathematics Tensor decomposition and applications Open access

Tim A. Werthmann

0

citations
Mehrskalige Modellierung des Schädigungs- und Bruchverhaltens nanostrukturierter Schichten
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Metal and Thin Film Mechanics Open access

Shahed Rezaei

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Neue Polyphosphatanalytik für die Entwicklung biotechnologischer Polyphosphatproduktion
2020 RWTH Publications (RWTH Aachen) dissertation Agricultural and Biological Sciences Phytase and its Applications Open access

Jonas Johannes Christ

2

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

Jesse Lansdown

1

citations
More creation than administration. Administrative actors as designers of multilateral communication processes in integrated urban development.
2021 RWTH Publications (RWTH Aachen) dissertation Social Sciences Local Governance and Planning Open access

Lucyna Zalas

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
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
Development of an experimental BOF rig for lime dissolution investigations in liquid steel making slag
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Metallurgical Processes and Thermodynamics Open access

Laura Finken

0

citations
Abschätzung der Wärmeleitfähigkeit von Materialien der Medizintechnik auf Basis einer Temperaturvorhersage zur Absicherung minimalinvasiver Bohrprozesse
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Heat Transfer and Numerical Methods Open access

Anna-Lena Julia Schnell

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
Probabilistic hyperlogics: extensions and efficient model checking
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Carolina Gerlach

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
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
Methoden zur Auslegung von Laserbondverbindungen und deren Grundlagen; 1. Auflage
2026 dissertation Engineering Welding Techniques and Residual Stresses Open access

Nicolas Nathanael Eisenreich

0

citations
Whole-cell biosynthesis of nitrogen heterocycles from carbon dioxide and electricity
2026 RWTH Publications (RWTH Aachen) dissertation Biochemistry, Genetics and Molecular Biology Microbial Metabolic Engineering and Bioproduction Open access

Pierre Schoenmakers

0

citations
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
New findings on shear behaviour in reinforced concrete members without shear reinforcement
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Structural Behavior of Reinforced Concrete Open access

Maximilian Schmidt

0

citations
A multitask latent space learning framework for modeling and inversion of structure–property relationships
2026 RWTH Publications (RWTH Aachen) dissertation Materials Science Machine Learning in Materials Science Open access

Tarek Iraki

0

citations