A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “satisfiability” 29

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Dynamic computation offloading for wireless sensors in IIoT
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science IoT and Edge/Fog Computing Open access

Praveen Mohanram

0

citations
The chemistry of the solid-state metal carbodiimides
2026 RWTH Publications (RWTH Aachen) dissertation Chemistry Inorganic Chemistry and Materials Open access

Medina Jurado Juan Pablo

0

citations
Physical simulation and deep learning using particle-based representations
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Fluid Dynamics Simulations and Interactions Open access

Stefan Rhys Jeske

0

citations