Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Mingwei, Gu, Zhenhao, Fang, Liangda, Ge, Cunjing, Chen, Ziliang, Lai, Zhao-Rong, Guan, Quanlong
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Exhaustive Symbolic Regression
by: Bartlett, Deaglan J., et al.
Published: (2022)

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

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

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

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

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

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

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

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

SAT Requires Exhaustive Search
by: Xu, Ke, et al.
Published: (2023)

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

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

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

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

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

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

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