From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 142

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

The Complexity of Online Graph Games
2022 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Janosch Fuchs, Christoph Grüne, Tom Janßen

0

citations
Lipschitz Safe Bayesian Optimization for Automotive Control
2025 arXiv (Cornell University) preprint Decision Sciences Advanced Bandit Algorithms Research Open access

Johanna Menn, Pietro Pelizzari, Michael Fleps-Dezasse, Sebastian Trimpe

0

citations
A Transformative Framework: Linking Chemicals to Human Needs and Environmental Limits within the Food Provisioning System
2026 Research Square preprint Environmental Science Sustainability and Ecological Systems Analysis Open access

Bartolomeus Häussling Löwgren, Peter Fantke, Simon Graf, Hauke Schlesier, Leon Holger Switala, Giuseppe Cardellini, +1 more

0

citations
Solution of Canonical Differential Equations for Integrals on Arbitrary Geometries
2026 arXiv (Cornell University) preprint Physics and Astronomy Particle physics theoretical and experimental studies Open access

Michał Czakon, Lorenzo Tancredi

0

citations
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
2026 arXiv (Cornell University) preprint Social Sciences Access Control and Trust Open access

Daham Mohammed Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, +1 more

0

citations
Parameterized Complexity of Scheduling Unit-TimeJobs with Generalized Precedence Constraints
2025 arXiv (Cornell University) preprint Engineering Scheduling and Optimization Algorithms Open access

Christina Büsing, Maurice Draeger, Corinna Mathwieser

0

citations
A new class of orthogonal polynomials
2026 arXiv (Cornell University) preprint Mathematics Mathematical functions and polynomials Open access

Stefan Kahler, Josef Obermaier

0

citations
Thermal WIMPs and the Scale of New Physics: Global Fits of Dirac Dark Matter Effective Field Theories
2021 arXiv (Cornell University) preprint Physics and Astronomy Dark Matter and Cosmic Phenomena Open access

Peter Athron, Neal P. Avis Kozar, Csaba Balázs, Ankit Beniwal, Sanjay Bloor, Torsten Bringmann, +18 more

39

citations
GLOBGM v1.0: a parallel implementation of a 30 arcsec PCR-GLOBWB-MODFLOW global-scale groundwater model
2022 preprint Environmental Science Groundwater flow and contamination studies Open access

Jarno Verkaik, Edwin H. Sutanudjaja, Gualbert Oude Essink, Hai Xiang Lin, Marc F. P. Bierkens

15

citations
The Complexity of Reachability in Parametric Markov Decision Processes
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler

10

citations
Theory and implementation of inelastic Constitutive Artificial Neural Networks
2023 RWTH Publications (RWTH Aachen) preprint Engineering Elasticity and Material Modeling Open access

Hagen Holthusen, Lukas Lamm, Tim Brepols, Stefanie Reese, Ellen Kuhl

9

citations
Quantum Policy Gradient Algorithms
2022 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Sofiène Jerbi, Arjan Cornelissen, Māris Ozols, Vedran Dunjko

8

citations
New Opportunities for the Formal Proof of Computational Real Geometry?
2020 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

6

citations
Using surgical wrapping material for the fabrication of respirator masks
2020 medRxiv preprint Medicine Infection Control and Ventilation Open access

Johanna H. Meijer, Joric Oude Vrielink

3

citations
Conserved moiety fluxomics
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Microbial Metabolic Engineering and Bioproduction Open access

Ronan M. T. Fleming, Hulda S. Haraldsdóttir, German Preciat, Luojiao Huang, Ines Thiele, Amy C. Harms, +1 more

3

citations
Existence and structure of symmetric Beltrami flows on compact $3$-manifolds
2020 arXiv (Cornell University) preprint Mathematics Geometric Analysis and Curvature Flows Open access

Wadim Gerner

2

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
Proving Non-Termination by Acceleration Driven Clause Learning
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

2

citations
Spectral theorems for positive algebra homomorphisms
2021 arXiv (Cornell University) preprint Mathematics Advanced Operator Algebra Research Open access

Marcel de Jeu, Xingni Jiang

2

citations
LExCI: A Framework for Reinforcement Learning with Embedded Systems
2023 RWTH Publications (RWTH Aachen) preprint Computer Science Reinforcement Learning in Robotics Open access

Kevin Badalian, Lucas Koch, Tobias Brinkmann, Mario Picerno, Marius Wegener, Sung-Yong Lee, +1 more

2

citations
Superpixel segmentations for thin sections: evaluation of methods to enable the generation of machine learning training data sets
2021 preprint Computer Science Advanced Neural Network Applications Open access

Jiaxin Yu, Florian Wellmann, Simon Virgo, Marven von Domarus, Mingze Jiang, Joyce Schmatz, +1 more

2

citations
Asymptotic Log-Det Rank Minimization via (Alternating) Iteratively Reweighted Least Squares
2021 arXiv (Cornell University) preprint Engineering Sparse and Compressive Sensing Techniques Open access

Sebastian Krämer

1

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

citations
On Hermitian Eisenstein series of degree 2
2022 arXiv (Cornell University) preprint Mathematics Advanced Algebra and Geometry Open access

Adrian Hauffe-Waschbüsch, Aloys Krieg, Brandon Williams

1

citations
Adaptive sample size determination for the development of clinical prediction models
2020 Research Square preprint Mathematics Statistical Methods in Epidemiology Open access

Evangelia Christodoulou, Maarten van Smeden, Michael Edlinger, Dirk Timmerman, Maria M. Wanitschek, Ewout Willem Steyerberg, +1 more

1

citations