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” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Film Cooling in Rocket Nozzles
2020 Notes on numerical fluid mechanics and multidisciplinary design book-chapter Engineering Turbomachinery Performance and Optimization Open access

Sandra Christine Ludescher, Herbert Olivier

4

citations
Mixed-Integer Quadrangulation
2023 ACM eBooks book-chapter Computer Science Computational Geometry and Mesh Generation

David Bommes, Henrik Zimmer, Leif P. Kobbelt

2

citations
Port Cities and Commodities
2023 Oxford University Press eBooks book-chapter Social Sciences Global Maritime and Colonial Histories Open access

Cátia A.P. Antunes, Jelmer Vos

1

citations
Solution of Church's Problem: A Tutorial Wolfgang Thomas
2025 Routledge eBooks book-chapter Computer Science semigroups and automata theory Open access

Wolfgang Thomas

0

citations
Approximate tensor network contraction
2025 Cambridge University Press eBooks book-chapter Computer Science Quantum Computing Algorithms and Architecture Open access

Sam McArdle, Mario Berta, Chi-Fang Chen, Connor T. Hann, Aleksander Kubica, Grant Salton, +1 more

0

citations

5 results