ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Zhihan, Lin, Peng, Hu, Hao, Cai, Shaowei
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
di: Li, Jinyuan, et al.
Pubblicazione: (2025)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
di: Zheng, Jiongzhi, et al.
Pubblicazione: (2024)

Local Search for Integer Quadratic Programming
di: He, Xiang, et al.
Pubblicazione: (2024)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
di: Ye, Furong, et al.
Pubblicazione: (2024)

ParBalans: Parallel Multi-Armed Bandits-based Adaptive Large Neighborhood Search
di: Yilmaz, Alican, et al.
Pubblicazione: (2025)

OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach
di: Hu, Hao, et al.
Pubblicazione: (2024)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
di: Sun, Yiwen, et al.
Pubblicazione: (2024)

New Characterizations and Efficient Local Search for General Integer Linear Programming
di: Lin, Peng, et al.
Pubblicazione: (2023)

Engineering an Exact Pseudo-Boolean Model Counter
di: Yang, Suwei, et al.
Pubblicazione: (2023)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
di: Dold, Simon, et al.
Pubblicazione: (2025)

Automatically discovering heuristics in a complex SAT solver with large language models
di: Sun, Yiwen, et al.
Pubblicazione: (2025)

DT-PBO: an Interpretable Tree-based Surrogate Model for Preferential Bayesian Optimization
di: Leenders, Nick, et al.
Pubblicazione: (2025)

New Hybrid Heuristics for Pseudo-Boolean Propagation
di: Müßig, Mia, et al.
Pubblicazione: (2025)

ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks
di: Miao, Ruixuan, et al.
Pubblicazione: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2024)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

LiPar: A Lightweight Parallel Learning Model for Practical In-Vehicle Network Intrusion Detection
di: Zhang, Aiheng, et al.
Pubblicazione: (2023)

Evaluating the Search Agent in a Parallel World
di: Chen, Jiawei, et al.
Pubblicazione: (2026)

Inventory of the 12 007 Low-Dimensional Pseudo-Boolean Landscapes Invariant to Rank, Translation, and Rotation
di: Liefooghe, Arnaud, et al.
Pubblicazione: (2026)

AI-SearchPlanner: Modular Agentic Search via Pareto-Optimal Multi-Objective Reinforcement Learning
di: Mei, Lang, et al.
Pubblicazione: (2025)

G-CSEA: A Graph-Based Conflict Set Extraction Algorithm for Identifying Infeasibility in Pseudo-Boolean Models
di: Garg, Kanishk, et al.
Pubblicazione: (2025)

LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services
di: He, Hang, et al.
Pubblicazione: (2025)

Aligning LLMs with Graph Neural Solvers for Combinatorial Optimization
di: Feng, Shaodi, et al.
Pubblicazione: (2026)

Parallelizing Multi-objective A* Search
di: Ahmadi, Saman, et al.
Pubblicazione: (2025)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
di: Sundermann, Chico, et al.
Pubblicazione: (2025)

Hyperparameter Optimization of Constraint Programming Solvers
di: Haddad, Hedieh, et al.
Pubblicazione: (2026)

ParFam -- (Neural Guided) Symbolic Regression Based on Continuous Global Optimization
di: Scholl, Philipp, et al.
Pubblicazione: (2023)

On Parallel External-Memory Bidirectional Search
di: Siag, Lior, et al.
Pubblicazione: (2024)

UNSAT Solver Synthesis via Monte Carlo Forest Search
di: Cameron, Chris, et al.
Pubblicazione: (2022)

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
di: Liu, Haoyang, et al.
Pubblicazione: (2025)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
di: Li, Siyuan, et al.
Pubblicazione: (2025)

From Natural Language to Solver-Ready Power System Optimization: An LLM-Assisted, Validation-in-the-Loop Framework
di: Hu, Yunkai, et al.
Pubblicazione: (2025)

Learning to Reduce Search Space for Generalizable Neural Routing Solver
di: Zhou, Changliang, et al.
Pubblicazione: (2025)

Extracting Problem Structure with LLMs for Optimized SAT Local Search
di: Schidler, André, et al.
Pubblicazione: (2025)

Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling
di: Chen, Yitian, et al.
Pubblicazione: (2025)

Training Stratigraphy: Persistent Behavioral Artifacts in Large Language Models Observed Through Longitudinal AI-Human Interaction
di: Claude, Chen Ying, et al.
Pubblicazione: (2026)

Agentic Flow Steering and Parallel Rollout Search for Spatially Grounded Text-to-Image Generation
di: Chen, Ping, et al.
Pubblicazione: (2026)

MultiLS: A Multi-task Lexical Simplification Framework
di: North, Kai, et al.
Pubblicazione: (2024)

Dynamic Parallel Tree Search for Efficient LLM Reasoning
di: Ding, Yifu, et al.
Pubblicazione: (2025)

Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
di: Arbelaez, Alejandro, et al.
Pubblicazione: (2024)