From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 815

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Computing Tarski Fixed Points in Financial Networks
2026 arXiv (Cornell University) preprint Economics, Econometrics and Finance Banking stability, regulation, efficiency Open access

Leander Besting, Martin Hoefer, Lars Huth

0

citations
Approximate tensor network contraction
2025 Cambridge University Press eBooks book-chapter Computer Science Quantum Computing Algorithms and Architecture Open access

Sam McArdle, Mario Berta, Chi-Fang Chen, Connor T. Hann, Aleksander Kubica, Grant Salton, +1 more

0

citations
Volatile‑Rich Magma–Atmosphere Equilibria on Hot Rocky Exoplanets
2025 conference-abstract Physics and Astronomy Stellar, planetary, and galactic studies Open access

Yamila Miguel, Christiaan van Buchem, Mantas Zilinskas, Wim van Westrenen

0

citations
This is SpArta: Rigorous Optimization of Regionally Resolved Energy Systems by Spatial Aggregation and Decomposition
2023 arXiv (Cornell University) preprint Engineering Integrated Energy Systems Optimization Open access

Benedikt Nilges, Nils Baumgärtner, André Bardow

0

citations
Influence of the reinforcement phase of MAX phase composites during ultra-precision grinding
2025 European Seminar on Precision Optics Manufacturing conference-paper Engineering Advanced Surface Polishing Techniques

Dennis Patrick Wilhelm, Marcel Friedrichs, Anh Tuan Vu, Cornelia Rojacher, Thomas Bergs

0

citations
Testing H-Freeness on Sparse Graphs, the Case of Bounded Expansion
2025 arXiv (Cornell University) preprint Mathematics Limits and Structures in Graph Theory Open access

Samuel Humeau, Mamadou Moustapha Kanté, Daniel Mock, Timothé Picavet, Alexandre Vigny

0

citations
Robust Railway Network Design based on Strategic Timetables
2023 arXiv (Cornell University) preprint Engineering Railway Systems and Energy Efficiency Open access

Tim Sander, Nadine Friesen, Karl Nachtigall, Nils Nießen

0

citations
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
2025 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach

0

citations
Divergence-Free Flux Globalization Based Well-Balanced Path-Conservative Central-Upwind Schemes for Rotating Shallow Water Magnetohydrodynamics
2023 arXiv (Cornell University) preprint Engineering Computational Fluid Dynamics and Aerodynamics Open access

Alina E. Chertock, Michael T. Redle, Vladimir Zeitlin

0

citations
Tensile Properties of the Basalt Fiber/Vinyl Ester Resin Composites under Extreme Thermal Cycling Conditions
2022 CICTP 2022 conference-paper Engineering Mechanical Behavior of Composites

Pengfei Li, Guanfeng Hu, Jiexuan Tao, Dongxu Wang, Bin Hong, Qilin Yang

0

citations
Controlling Golog Programs against MTL Constraints
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Stefan Schupp

0

citations
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

0

citations
Testing H-Freeness on Sparse Graphs, the Case of Bounded Expansion
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Mathematics Limits and Structures in Graph Theory Open access

Samuel Humeau, Mamadou Moustapha Kanté, Daniel Mock, Timothé Picavet, Alexandre Vigny

0

citations
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll

0

citations
Direct numerical simulation of MILD combustion: Mixing and autoignition from non-premixed streams
2026 Proceedings of the Combustion Institute article Engineering Combustion and flame dynamics Open access

Lorenzo Frascino, Gandolfo Scialabba, Hongchao Chu, Heinz G. Pitsch

0

citations
Comment on amt-2022-255
2022 peer-review Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Alba Lorente, Tobias Borsdorff, Mari C. Martinez-Velarte, Jochen Landgraf

0

citations
Organization of Management in Small Business and Private Entrepreneurship
2024 Miasto Przyszłości article Business, Management and Accounting Management and Organizational Practices Open access

Rakhmonkulova Nafisa

0

citations
An Event Stream Assisted Link Adaptation Framework for Internet-of-Vehicles
2025 Globecom conference-paper Engineering Vehicular Ad Hoc Networks (VANETs) cited by 1 patent

Yuxi Lu, Wei Gao, Yulin Hu, Peng Sun, Azzedine Boukerche, Anke Schmeink

0

citations
The Line Emission Terahertz Observatory (LETO): Exploring the lifecycle of the ISM and the origins of water
2026 arXiv (Cornell University) preprint Physics and Astronomy Astrophysics and Star Formation Studies Open access

D. Rigopoulou, Peter Roelfsema, William Grainger, Chris Pearson, Boon-Kok Tan, W. M. Laauwen, +10 more

0

citations
Reassessing planetary composition: Evidence of rock-dominated envelopes in Uranus and Neptune
2026 Springer Link (Chiba Institute of Technology) article Physics and Astronomy Astro and Planetary Science Open access

Vanesa Ramírez, Yamila Miguel, Saburo Howard

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
A Broadband Resonant Half-Waveplate for Compact Far-Infrared Grating Spectrometers with Continuous Wavelength Band Division
2022 International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz) conference-paper Materials Science Metamaterials and Metasurfaces Applications

Willem Jellema, M. Ridder, Martin J. Eggens, Casper Farret Jentink, Job Formsma, Mariana Alfaro-Gómez, +1 more

0

citations
Spline-Based Space-Time Finite Element Approach for Fluid-Structure Interaction Problems With a Focus on Fully Enclosed Domains
2022 arXiv (Cornell University) preprint Engineering Advanced Numerical Analysis Techniques Open access

Michel Make, Thomas Spenke, Norbert Hosters, Marek Behr

0

citations
bge-barcoding/BeeGees: v3.0.6
2026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Genomics and Phylogenetic Studies Open access

Dan Parsons, Claude, Rutger Vos, Ben Price

0

citations
Cursed Coziness: Cursed Mechanics in Dark Cozy Games
2026 conference-paper Social Sciences Digital Games and Media Open access

Manon Portos Minetti, Corine Gerritsen

0

citations