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.

Flash Pyrolysis Kinetics of Extracted Lignocellulosic Biomass Components – Supplementary Dataset
2021 RWTH Publications (RWTH Aachen) dataset Engineering Thermochemical Biomass Conversion Processes Open access

Stefan Pielsticker, Benjamin Gövert, Kentaro Umeki, Reinhold Kneer

3

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
Titanic Passengers and Crew: Demographics and Survival Data
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Maritime Navigation and Safety Open access

Lukas C. Bossert

0

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

0

citations
Benchmark instances and experimental results for the Colored Knapsack Problem (ColKP)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Optimization and Packing Problems Open access

Fabio Ciccarelli, Alexander Helber, Erik Mühmer

0

citations

5 results