Cover Image

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Masina, Gabriele, Sebastiani, Roberto
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science I.2.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
by: Filipe, João, et al.
Published: (2026)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
by: Civini, Emanuele, et al.
Published: (2026)

Automated Strategy Invention for Confluence of Term Rewrite Systems
by: Zhang, Liao, et al.
Published: (2024)

On CNF Conversion for SAT and SMT Enumeration
by: Masina, Gabriele, et al.
Published: (2023)

Computational methods for Dynamic Answer Set Programming
by: Hahn, Susana
Published: (2025)

Beyond Prompt Engineering: Neuro-Symbolic-Causal Architecture for Robust Multi-Objective AI Agents
by: Akarlar, Gokturk Aytug
Published: (2025)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
by: Kesseli, Pascal, et al.
Published: (2025)

Learning How to Cube
by: Erata, Ferhat, et al.
Published: (2026)

Tao's Equational Proof Challenge Accepted (Technical Report)
by: Kondylidou, Lydia, et al.
Published: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

Disjoint Partial Enumeration without Blocking Clauses
by: Spallitta, Giuseppe, et al.
Published: (2023)

Reinforcement Learning control strategies for Electric Vehicles and Renewable energy sources Virtual Power Plants
by: Maldonato, Francesco, et al.
Published: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
by: Balafas, Vasileios, et al.
Published: (2025)

AI and Machine Learning Approaches for Predicting Nanoparticles Toxicity The Critical Role of Physiochemical Properties
by: Yousaf, Iqra
Published: (2024)

Game of Thought: Robust Information Seeking with Large Language Models Using Game Theory
by: Cui, Langyuan, et al.
Published: (2026)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Predicting doping strategies for ternary nickel-cobalt-manganese cathode materials to enhance battery performance using graph neural networks
by: Zhao, Zirui, et al.
Published: (2024)

Partially Observable Reference Policy Programming: Solving POMDPs Sans Numerical Optimisation
by: Kim, Edward, et al.
Published: (2025)

Mining Potentially Explanatory Patterns via Partial Solutions
by: Catalano, GianCarlo, et al.
Published: (2024)

Deep learning-driven evaluation and prediction of ion-doped NASICON materials for enhanced solid-state battery performance
by: Zhao, Zirui, et al.
Published: (2024)

TRACE: Temporal Rule-Anchored Chain-of-Evidence on Knowledge Graphs for Interpretable Stock Movement Prediction
by: Ding, Qianggang, et al.
Published: (2026)

Provably Correct Systems: Community, connections, and citations
by: Bowen, Jonathan P.
Published: (2015)

The Paradox of Success in Evolutionary and Bioinspired Optimization: Revisiting Critical Issues, Key Studies, and Methodological Pathways
by: Molina, Daniel, et al.
Published: (2025)

Robust Verification of Concurrent Stochastic Games
by: He, Angel Y., et al.
Published: (2026)

On Enumerating Short Projected Models
by: Möhle, Sibylle, et al.
Published: (2021)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

Optimizing MACD Trading Strategies A Dance of Finance, Wavelets, and Genetics
by: Chen, Wangyu, et al.
Published: (2025)

On Dynamic Programming Theory for Leader-Follower Stochastic Games
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)

Opponent State Inference Under Partial Observability: An HMM-POMDP Framework for 2026 Formula 1 Energy Strategy
by: Kleisarchaki, Kalliopi
Published: (2026)

Optimization of Activity Batching Policies in Business Processes
by: López-Pintado, Orlenys, et al.
Published: (2025)

Predictive Modeling and Uncertainty Quantification of Fatigue Life in Metal Alloys using Machine Learning
by: Chang, Jiang, et al.
Published: (2025)

Adaptive Surrogate-Based Strategy for Accelerating Convergence Speed when Solving Expensive Unconstrained Multi-Objective Optimisation Problems
by: Banda, Tiwonge Msulira, et al.
Published: (2026)

Associative Constructive Evolution: Enhancing Metaheuristics through Hebbian-Learned Generative Guidance
by: Lin, Shanxian, et al.
Published: (2026)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
by: Gulati, Aryan, et al.
Published: (2025)

Dynamics of COVID-19 Misinformation: An Analysis of Conspiracy Theories, Fake Remedies, and False Reports
by: Thakur, Nirmalya, et al.
Published: (2025)