Imagen de Portada

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Mingwei, Gu, Zhenhao, Fang, Liangda, Ge, Cunjing, Chen, Ziliang, Lai, Zhao-Rong, Guan, Quanlong
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Parallel Approach to Counting Exact Covers Based on Decomposability Property
por: Fang, Liangda, et al.
Publicado: (2026)

A De-singularity Subgradient Approach for the Extended Weber Location Problem
por: Lai, Zhao-Rong, et al.
Publicado: (2024)

De-singularity Subgradient for the $q$-th-Powered $\ell_p$-Norm Weber Location Problem
por: Lai, Zhao-Rong, et al.
Publicado: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
por: Fang, Liangda, et al.
Publicado: (2024)

Quantum DPLL and Generalized Constraints in Iterative Quantum Algorithms
por: Brady, Lucas T., et al.
Publicado: (2025)

A Retrospect to Multi-prompt Learning across Vision and Language
por: Chen, Ziliang, et al.
Publicado: (2025)

UniER: A Unified Benchmark for Item-level and Path-level Exercise Recommendation
por: Cheng, Xinghe, et al.
Publicado: (2026)

GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path Recommendation
por: Cheng, Xinghe, et al.
Publicado: (2025)

NR4DER: Neural Re-ranking for Diversified Exercise Recommendation
por: Cheng, Xinghe, et al.
Publicado: (2025)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
por: Zhang, Tian, et al.
Publicado: (2023)

Uniform Interpolation in Distributed Knowledge Modal Logics
por: Wang, Kexu, et al.
Publicado: (2026)

A Simplification Method for Inequality Constraints in Integer Binary Encoding HOBO Formulations
por: Minato, Yuichiro
Publicado: (2025)

A DPLL(T) Framework for Verifying Deep Neural Networks
por: Duong, Hai, et al.
Publicado: (2023)

An Exponential Separation between Deterministic CDCL and DPLL Solvers
por: Samar, Sahil, et al.
Publicado: (2026)

Handling Overtime Constraints in Mixed Integer Linear Programming for Surgical Scheduling: A Comparison of Neural Network and Classical Linearization Techniques
por: Pistorius, Cindy, et al.
Publicado: (2026)

Constraint Matters: Multi-Modal Representation for Reducing Mixed-Integer Linear programming
por: Li, Jiajun, et al.
Publicado: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
por: Fandinno, Jorge, et al.
Publicado: (2026)

When and how biases seep in: Enhancing debiasing approaches for fair educational predictive analytics
por: Lin Li, et al.
Publicado: (2025)

FerretNet: Efficient Synthetic Image Detection via Local Pixel Dependencies
por: Liang, Shuqiao, et al.
Publicado: (2025)

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
por: Li, Hongpei, et al.
Publicado: (2025)

Linear Trading Position with Sparse Spectrum
por: Lai, Zhao-Rong, et al.
Publicado: (2025)

A Review of NEST Models for Liquid Xenon and Exhaustive Comparison to Other Approaches
por: Szydagis, M., et al.
Publicado: (2022)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
por: Nieuwenhuis, Robert, et al.
Publicado: (2024)

Exhaustive Symbolic Regression
por: Bartlett, Deaglan J., et al.
Publicado: (2022)

Diagrammatic Simplification of Linearized Coupled Cluster Theory
por: Carter-Fenk, Kevin
Publicado: (2025)

The role of viscosity on drop impact forces on non-wetting surfaces
por: Sanjay, Vatsal, et al.
Publicado: (2023)

Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming
por: Lera-Leri, Roger Xavier, et al.
Publicado: (2025)

From Observation to Orientation: an Adaptive Integer Programming Approach to Intervention Design
por: Elrefaey, Abdelmonem, et al.
Publicado: (2025)

Assessing Simplification Levels in Neural Networks: The Impact of Hyperparameter Configurations on Complexity and Sensitivity
por: Guan, Huixin
Publicado: (2024)

Managing Air Traffic Flow With Link Flow Rate Control: A Pure Integer Programming Model With More Accurate Link Connection Modeling
por: Han Zhong, et al.
Publicado: (2024)

Learning Exhaustive Correlation for Spectral Super-Resolution: Where Spatial-Spectral Attention Meets Linear Dependence
por: Wang, Hongyuan, et al.
Publicado: (2023)

Fast Nucleophilic Approach to Exhaustively Substituted Porphyrin Derivatives at the “Eastern Half”
por: Agnieszka Mikus, et al.
Publicado: (2025)

SAT Requires Exhaustive Search
por: Xu, Ke, et al.
Publicado: (2023)

Integer Programming Approaches for Distributionally Robust Chance Constraints with Adjustable Risks
por: Zhang, Yiling
Publicado: (2023)

Some Simplifications for the Expectation-Maximization (EM) Algorithm: The Linear Regression Model Case
por: Griffith, Daniel A.
Publicado: (2025)

An Integer Linear Programming Model for the Evolomino Puzzle
por: Nikolaev, Andrei V., et al.
Publicado: (2026)

NanoGS: Training-Free Gaussian Splat Simplification
por: Xiong, Butian, et al.
Publicado: (2026)

Point Tracking Improves World Action Models
por: Guan, Jiarui, et al.
Publicado: (2026)

AdaMotif: Graph Simplification via Adaptive Motif Design
por: Zhou, Hong, et al.
Publicado: (2024)

Optimal Consumption-Investment for General Utility with a Drawdown Constraint over a Finite-Time Horizon
por: Guan, Chonghu, et al.
Publicado: (2025)