Topics › Physical Sciences › Computer Science › Computer Networks and Communications
Constraint Satisfaction and Optimization Sign in to save
24
Aachen papers (primary topic)
38
Further papers (secondary topic)
244
Citations
40
Aachen authors
Papers per year
20
21
22
23
24
25
26
Papers 24
Open in paper search →-
Mixed-Integer Optimization for Loopless Flux Distributions in Metabolic Networks2024 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access
João Dionísio, Tim Donkiewicz, Leon Eifler, Ambros Gleixner, Katrin Halbig, Ivo Hedtke, +9 more
89citations -
Enabling Research through the SCIP Optimization Suite 8.02023 ACM Transactions on Mathematical Software article Computer Science Constraint Satisfaction and Optimization Open access
Ksenia Bestuzheva, Mathieu Besançon, Wei‐Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, +28 more
66citations -
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Constraint Satisfaction and Optimization Open access
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
34citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations
Most active Aachen authors
-
Tim Donkiewicz 167 citations overall5 papers
-
Martin Grohe 12,906 citations overall4 papers
-
Jan Tönshoff 94 citations overall4 papers
-
Holger H. Hoos 29,243 citations overall2 papers
-
Erika Ábrahám 3,470 citations overall2 papers
-
Erik Mühmer 217 citations overall2 papers
-
Roman Delorme 90 citations overall2 papers
-
Jakob Lindner 23 citations overall2 papers
-
Berke Kisin 16 citations overall2 papers
-
Joost-Pieter Katoen 20,330 citations overall1 paper
-
Erich Grädel 7,146 citations overall1 paper
-
Mario Berta 5,918 citations overall1 paper
-
Thorsten Koch 5,502 citations overall1 paper
-
Jürgen Giesl 4,354 citations overall1 paper
-
Marco E. Lübbecke 3,498 citations overall1 paper