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.

Scenario Based Run-Time Switching for Adaptive CNN-Based Applications at the Edge
2022 ACM Transactions on Embedded Computing Systems article Computer Science Advanced Neural Network Applications Open access

Svetlana Minakova, Dolly Sapra, Todor P. Stefanov, Andy D. Pimentel

12

citations
Saving Energy and Spectrum in Enabling URLLC Services: A Scalable RL Solution
2023 IEEE Transactions on Industrial Informatics article Engineering Advanced Wireless Network Optimization Open access

Milad Ganjalizadeh, Hossein Shokri‐Ghadikolaei, Amin Azari, Abdulrahman Alabbasi, Marina Petrova

12

citations
Conversion-Driven Leptogenesis: A Testable Theory of Dark Matter and Baryogenesis at the Electroweak Scale
2024 Physical Review Letters article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Jan Heisig

12

citations
Modeling nonequilibrium thermoviscoelastic material behaviors of glass in nonisothermal glass molding
2022 Journal of the American Ceramic Society article Materials Science Glass properties and applications Open access

Anh Tuan Vu, Rocio de los Angeles Avila Hernandez, Tim Grunwald, Thomas Bergs

12

citations
Land, sugar and pastoralism in Ethiopia: Comparing the impact of the Omo-Kuraz sugar projects on local livelihoods and food (in) security in the lower Omo Valley
2022 Pastoralism Research Policy and Practice article Agricultural and Biological Sciences Agriculture, Land Use, Rural Development Open access

Adane Kebede Gebeyehu, Jon G. Abbink

11

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
Improving Quality of Life With Dynamic Compression Bracing in Patients With Pectus Carinatum
2024 Journal of Pediatric Surgery article Medicine Pectus Deformity Diagnosis and Treatment Open access

Hendrik van Braak, Sjoerd A. de Beer, Jos W. R. Twisk, Sander Zwaveling, Matthijs W. Oomen, Justin R. de Jong, +1 more

11

citations
Horizontal Guided Bone Regeneration of the Posterior Mandible to Allow Implant Placement: 1‐Year Prospective Study Results
2024 Clinical Oral Implants Research article Dentistry Dental Implant Techniques and Outcomes Open access

Jonas Lorenz, Shahram Ghanaati, Zoran M. Aleksic, Iva Milinković, Zoran Lazić, Marko Magić, +7 more

11

citations
Reliable Low-Latency Wi-Fi Mesh Networks
2021 IEEE Internet of Things Journal article Computer Science Wireless Networks and Protocols

Bhargav V.Gokalgandhi, Marcos B. S. Tavares, Dragan Samardžija, Ivan Seskar, Haris Gacanin

11

citations
Workforce planning in production with flexible or budgeted employee training and volatile demand
2022 Journal of Business Economics article Engineering Scheduling and Optimization Algorithms Open access

Patricia Heuser, Peter Letmathe, Matthias Schinner

11

citations
Discrete-Event Simulation of an Extended Einstein-Podolsky-Rosen-Bohm Experiment
2020 Frontiers in Physics article Physics and Astronomy Quantum Mechanics and Applications Open access

Hans A. De Raedt, Manpreet Singh Jattana, Dennis Willsch, Madita Willsch, Fengping Jin, Kristel F. L. Michielsen

11

citations
Private Uplink Communication in C-RAN With Untrusted Radios
2020 IEEE Transactions on Vehicular Technology article Engineering Wireless Communication Security Techniques

Omid Taghizadeh, Tianyu Yang, Rudolf Mathar

11

citations
Lean Approach for Virtual Calibration Using Hardware-in-the-Loop and Electronic Control Unit (ECU)-Capable Engine Simulation
2021 SAE International Journal of Engines article Engineering Real-time simulation and control systems

Simon Gottorf, Johannes Franz Walter Fryjan, Lucas Leyens, Mario Picerno, Knut Habermann, Stefan Pischinger

10

citations
Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders
2021 ACM Symposium on Principles of Distributed Computing (PODC) conference-paper Computer Science Distributed systems and fault tolerance Open access cited by 1 patent

Mark Abspoel, Thomas Attema, Matthieu Rambaud

10

citations
Convergence of Entropy-Regularized Natural Policy Gradient with Linear Function Approximation
2024 SIAM Journal on Optimization article Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Niao He, R. Srikant

10

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
Quality of Life in Cutaneous T-cell Lymphoma Patients Receiving Mogamulizumab: Important Factors to Consider
2022 Cancers article Medicine Cutaneous lymphoproliferative disorders research Open access

Rosanne Ottevanger, Sylvia van Beugen, Andrea W.M. Evers, Rein Willemze, Maarten H. Vermeer, Koen D. Quint

10

citations
A Different Approach to Develop a District Heating Grid Based on the Optimization of Building Clusters
2022 Processes article Engineering Integrated Energy Systems Optimization Open access

Laura Pompei, Jacob Mannhardt, Fabio Nardecchia, Lorenzo Mario Pastore, Livio de Santoli

10

citations
A comparison of the homotopy method with linearisation approaches for a non-linear optimization problem of operations in a reservoir cascade
2023 Energy Systems article Engineering Water resources management and optimization Open access

Bernhard Becker, Dietlind Ochterbeck, Teresa Piovesan

10

citations
Systematic Review of the Association Between Trauma Severity and Postinjury Symptoms of Depression
2022 World Journal of Surgery review Medicine Trauma and Emergency Care Studies Open access

Yvonne Versluijs, Thomas W. van Ravens, Pieta Krijnen, David Ring, Inger Birgitta Schipper

10

citations
A learning network approach to resolve conservation challenges in the Ngorongoro Conservation Area
2020 African Journal of Ecology article Environmental Science Conservation, Biodiversity, and Resource Management Open access

W. E. Harris, Selvino R. de Kort, Caroline M. Bettridge, Joana Borges, Bradley Cain, Hamadi Iddi Dulle, +21 more

10

citations
Phenomenology of Horndeski gravity under positivity bounds
2024 Journal of Cosmology and Astroparticle Physics article Physics and Astronomy Cosmology and Gravitation Theories Open access

Dani de Boe, Gen Ye, Fabrizio Renzi, Inês S. Albuquerque, Noemi Frusciante, Alessandra Silvestri

10

citations
Smooth input preparation for quantum and quantum-inspired machine learning
2021 Quantum Machine Intelligence article Computer Science Quantum Computing Algorithms and Architecture Open access

Zhikuan Zhao, Jack Fitzsimons, Patrick Rebentrost, Vedran Dunjko, Joseph F. Fitzsimons

10

citations
Robust minimum cost flow problem under consistent flow constraints
2021 Annals of Operations Research article Computer Science Complexity and Algorithms in Graphs Open access

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

10

citations
3D Multilevel Modeling of Surface Roughness Influences on Hole Expansion Ratios
2021 steel research international article Engineering Metal Forming Simulation Techniques Open access

Peerapon Wechsuwanmanee, Junhe Lian, Sebastian Münstermann

10

citations