From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 196

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Probabilistic hyperlogics: extensions and efficient model checking
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Carolina Gerlach

0

citations
The Complexity of Stackelberg Pricing Games
2025 IT University Of Copenhagen (IT University of Copenhagen) preprint Computer Science Complexity and Algorithms in Graphs Open access

Christoph Grüne, Dorothee Henke, Eva Rotenberg, Lasse Wulf

0

citations
Exposing Finite-Depth, Finite-Shot Guarantees for Constrained Quantum Optimization via Fejér Filtering
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Kristel F. L. Michielsen

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
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations
Editorial
2023 Computational Intelligence editorial Computer Science Robotic Path Planning Algorithms

Meng Joo Er, Zhaojie Ju, Alexander Ferrein

0

citations
Robust transshipment problem under consistent flow constraints
2022 RWTH Publications (RWTH Aachen) article Computer Science Complexity and Algorithms in Graphs Open access

Christina Büsing, Arie M. C. A. Koster, Sabrina Schmitz

0

citations
Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
A Design Flow and EDA-Tool for an Automated Implementation of ASIC Configuration Interfaces
2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Computer Science Embedded Systems Design Techniques

Johannes Bastl, Jonas Meier, Ralf Wunderlich, Stefan J. Heinen

0

citations
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
Non-Elitist Selection Can Improve the Performance of Irace
2022 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Diederick Vermetten, Carola Doerr, Thomas Bäck

0

citations
Hermitian and Unitary Almost-Companion Matrices of Polynomials on Demand
2023 Entropy article Computer Science Matrix Theory and Algorithms Open access

Liubov A. Markovich, Agostino Migliore, ANTONINO MESSINA

0

citations
Challenges of ELA-guided Function Evolution using Genetic Programming
2023 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Fu Xing Long, Diederick Vermetten, Anna V. Kononova, Roman Kalkreuth, Kaifeng Yang, Thomas Bäck, +1 more

0

citations
An Expressive Coalgebraic Modal Logic for Cellular Automata
2025 arXiv (Cornell University) preprint Computer Science Cellular Automata and Applications Open access

Henning Basold, Chase Ford, Lulof Pirée

0

citations
LANCER: LLM Reranking for Nugget Coverage
2026 arXiv (Cornell University) preprint Computer Science Information Retrieval and Search Behavior Open access

Jia-Huei Ju, François-Guillaume Landry, Eugene Yang, Suzan Verberne, Andrew Yates

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

0

citations
Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
2020 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Christina Büsing, Arie M. C. A. Koster, Sabrina Schmitz

0

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations