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

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Generous Roman Domination Subdivision Number in Graph
2025 European Journal of Pure and Applied Mathematics article Computer Science Advanced Graph Theory Research Open access

Jamil J. Hamja, Seyed Mahmoud Sheikholeslami, Lutz Volkmann, Imelda S. Aniversario, Lucille M. Bugo

0

citations
Establishing Shape Correspondences: A Survey
2026 Computer Graphics Forum article Computer Science 3D Shape Modeling and Analysis Open access

A. Heuschling, H. Meinhold

0

citations
Quasi-Zero-Stiffness Design for 6-DoF Vibration Isolation of High-Mass Systems Across Broad Frequency Ranges
2026 Machines article Engineering Vibration Control and Rheological Fluids Open access

Johannes Bolk, Jan-Lukas Archut, Marwène Nefzi, Burkhard J. Corves

0

citations
Active Surface Clustering for Component Generation from System Models
2026 Systems article Engineering Manufacturing Process and Optimization Open access

Gert Hartmann, Georg Jacobs, Kathrin Spütz, Sebastian Felix Scholl

0

citations
Resnikoff Silver Numbers and Tilings of the Half-Line (Dedicated to the Memory of H.L. Resnikoff)
2026 Bulletin of the Malaysian Mathematical Sciences Society article Materials Science Quasicrystal Structures and Properties Open access

Josef F. Dorfmeister, Sebastian Walcher

0

citations