Copertina

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhao, Yuxin, Huang, Han, Fu, Fangji, Hao, Zhifeng
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Computational Engineering, Finance, and Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
di: Mannucci, Mirco A., et al.
Pubblicazione: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
di: Mannucci, Mirco A., et al.
Pubblicazione: (2026)

Proceedings of the International Workshop on Verification of Scientific Software
di: Siegel, Stephen F., et al.
Pubblicazione: (2025)

Analyzing Many Simulations of Hybrid Programs in Lince
di: Arrieta, Reydel, et al.
Pubblicazione: (2025)

Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
di: Falda, Pierre
Pubblicazione: (2026)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

Generative Optimization: A Perspective on AI-Enhanced Problem Solving in Engineering
di: Regenwetter, Lyle, et al.
Pubblicazione: (2024)

RustSAT: A Library For SAT Solving in Rust
di: Jabs, Christoph
Pubblicazione: (2025)

Using Large Language Models for Solving Thermodynamic Problems
di: Loubet, Rebecca, et al.
Pubblicazione: (2025)

A Concept for Autonomous Problem-Solving in Intralogistics Scenarios
di: Sigel, Johannes, et al.
Pubblicazione: (2025)

SAT-Solving the Poset Cover Problem
di: Yuan, Chih-Cheng Rex, et al.
Pubblicazione: (2025)

Forex Trading Robot Using Fuzzy Logic
di: Shabani, Mustafa, et al.
Pubblicazione: (2025)

Select2Drive: Pragmatic Communications for Real-Time Collaborative Autonomous Driving
di: Huang, Jiahao, et al.
Pubblicazione: (2025)

Solving Electromagnetic Scattering Problems by Isogeometric Analysis with Deep Operator Learning
di: Backmeyer, Merle, et al.
Pubblicazione: (2024)

Physics-Informed Neural Networks for Solving Contact Problems in Three Dimensions
di: Sahin, Tarik, et al.
Pubblicazione: (2024)

Physics-Informed Holomorphic Neural Networks (PIHNNs): Solving Linear Elasticity Problems
di: Calafà, Matteo, et al.
Pubblicazione: (2024)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
di: Shi, Zhengyuan, et al.
Pubblicazione: (2024)

A Stable SBP-SAT FDTD Subgridding Method Without Region Split
di: Wang, Yuhui, et al.
Pubblicazione: (2026)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
di: Van Kieu, Tuyen, et al.
Pubblicazione: (2026)

PhysioFormer: Integrating Multimodal Physiological Signals and Symbolic Regression for Explainable Affective State Prediction
di: Wang, Zhifeng, et al.
Pubblicazione: (2024)

parSAT: Parallel Solving of Floating-Point Satisfiability
di: Krahl, Markus, et al.
Pubblicazione: (2025)

Optimal Box Contraction for Solving Linear Systems via Simulated and Quantum Annealing
di: Suresh, Sanjay, et al.
Pubblicazione: (2024)

Orthologic for SAT Solving
di: de Haldat, Vladislas, et al.
Pubblicazione: (2026)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
di: Vandesande, Dieter, et al.
Pubblicazione: (2025)

Solving SAT By Computing A Stable Set Of Points In Clusters
di: Goldberg, Eugene
Pubblicazione: (2025)

Automated Glaucoma Report Generation via Dual-Attention Semantic Parallel-LSTM and Multimodal Clinical Data Integration
di: Huang, Cheng, et al.
Pubblicazione: (2025)

Neural Preconditioning Operator for Efficient PDE Solves
di: Li, Zhihao, et al.
Pubblicazione: (2025)

The Statistical Significance of the Inclusion of Graph Neural Networks in the Financial Time Series Forecasting Problem
di: Gregnanin, Marco, et al.
Pubblicazione: (2026)

Solving contact problems using Fiber Monte Carlo
di: Wang, Xinyu, et al.
Pubblicazione: (2025)

Industrial Metaverse: Enabling Technologies, Open Problems, and Future Trends
di: Zhang, Shiying, et al.
Pubblicazione: (2024)

Multi-granularity Score-based Generative Framework Enables Efficient Inverse Design of Complex Organics
di: Chen, Zijun, et al.
Pubblicazione: (2024)

Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
di: Tranquilli, Julius, et al.
Pubblicazione: (2025)

Solving adhesive rough contact problems with Atomic Force Microscope data
di: Marulli, Maria Rosaria, et al.
Pubblicazione: (2025)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
di: Liang, Zhenwen, et al.
Pubblicazione: (2025)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
di: Le, Thanh, et al.
Pubblicazione: (2026)

ChemToolAgent: The Impact of Tools on Language Agents for Chemistry Problem Solving
di: Yu, Botao, et al.
Pubblicazione: (2024)

Adaptive Finite State Projection with Quantile-Based Pruning for Solving the Chemical Master Equation
di: Dendukuri, Aditya, et al.
Pubblicazione: (2025)

Investigation on the Shooting Method Ability to Solve Different Mooring Lines Boundary Condition Types
di: Surmont, Florian, et al.
Pubblicazione: (2024)