Buchumschlag

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nieuwenhuis, Robert, Oliveras, Albert, Rodriguez-Carbonell, Enric
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence I.2.8; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated Theorem Provers Help Improve Large Language Model Reasoning
von: McGinness, Lachlan, et al.
Veröffentlicht: (2024)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
von: Kesseli, Pascal, et al.
Veröffentlicht: (2025)

Learning How to Cube
von: Erata, Ferhat, et al.
Veröffentlicht: (2026)

Exact Synthetic Populations for Scalable Societal and Market Modeling
von: Petit, Thierry, et al.
Veröffentlicht: (2025)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Tao's Equational Proof Challenge Accepted (Technical Report)
von: Kondylidou, Lydia, et al.
Veröffentlicht: (2026)

Meta-Reinforcement Learning with Discrete World Models for Adaptive Load Balancing
von: Redovian, Cameron
Veröffentlicht: (2025)

Controlled Territory and Conflict Tracking (CONTACT): (Geo-)Mapping Occupied Territory from Open Source Intelligence
von: Mandal, Paul K., et al.
Veröffentlicht: (2025)

Robust Verification of Concurrent Stochastic Games
von: He, Angel Y., et al.
Veröffentlicht: (2026)

Argumentation and Machine Learning
von: Rago, Antonio, et al.
Veröffentlicht: (2024)

Learning Interpretable Scheduling Algorithms for Data Processing Clusters
von: Hu, Zhibo, et al.
Veröffentlicht: (2024)

Provably Correct Systems: Community, connections, and citations
von: Bowen, Jonathan P.
Veröffentlicht: (2015)

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Anticipating Oblivious Opponents in Stochastic Games
von: Kalat, Shadi Tasdighi, et al.
Veröffentlicht: (2024)

CVPL: A Geometric Framework for Post-Hoc Linkage Risk Assessment in Protected Tabular Data
von: Khvatov, Valery, et al.
Veröffentlicht: (2026)

Domain-Independent Dynamic Programming
von: Kuroiwa, Ryo, et al.
Veröffentlicht: (2024)

On the Completeness of Conflict-Based Search: Temporally-Relative Duplicate Pruning
von: Walker, Thayne T, et al.
Veröffentlicht: (2024)

Test Case Features as Hyper-heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2024)

Digital analysis of early color photographs taken using regular color screen processes
von: Hubička, Jan, et al.
Veröffentlicht: (2023)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Automated Strategy Invention for Confluence of Term Rewrite Systems
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
von: Tsamoura, Efthymia, et al.
Veröffentlicht: (2024)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
von: Chang, Edward Y., et al.
Veröffentlicht: (2025)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2025)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
von: Pedroza, Gabriel
Veröffentlicht: (2024)

Mayfly: Private Aggregate Insights from Ephemeral Streams of On-Device User Data
von: Bian, Christopher, et al.
Veröffentlicht: (2024)

Who Leads in the Shadows? ERGM and Centrality Analysis of Congressional Democrats on Bluesky
von: Hew, Gordon, et al.
Veröffentlicht: (2025)

Cross-Subreddit Behavior as Open-Source Indicators of Coordinated Influence: A Case Study of r/Sino & r/China
von: Pilaud, Manon, et al.
Veröffentlicht: (2025)

Optimistic Feasible Search for Closed-Loop Fair Threshold Decision-Making
von: Du, Wenzhang
Veröffentlicht: (2025)

GraphWalk: Enabling Reasoning in Large Language Models through Tool-Based Graph Navigation
von: Ghandi, Taraneh, et al.
Veröffentlicht: (2026)

Compiling Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2025)

Implementing Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2026)

HCQA: Hybrid Classical-Quantum Agent for Generating Optimal Quantum Sensor Circuits
von: Alomari, Ahmad, et al.
Veröffentlicht: (2025)

Internalizing Tools as Morphisms in Graded Transformers
von: Shaska, Tony
Veröffentlicht: (2025)

Learning Natural Language Constraints for Safe Reinforcement Learning of Language Agents
von: Chua, Jaymari, et al.
Veröffentlicht: (2025)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Evaluating Large Language Models for Workload Mapping and Scheduling in Heterogeneous HPC Systems
von: Sharma, Aasish Kumar, et al.
Veröffentlicht: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
von: Alpay, Faruk
Veröffentlicht: (2025)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
von: Burgess, Mark
Veröffentlicht: (2025)