Imagen de Portada

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Akgün, Özgür, Gent, Ian P., Jefferson, Christopher, Kiziltan, Zeynep, Miguel, Ian, Nightingale, Peter, Salamon, András Z., Ulrich-Oltean, Felix
Formato:	Preprint
Publicado:	2022
Materias:	Artificial Intelligence 68T27 I.2.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automatic Feature Learning for Essence: a Case Study on Car Sequencing
por: Pellegrino, Alessio, et al.
Publicado: (2024)

Faster Symmetry Breaking Constraints for Abstract Structures
por: Akgün, Özgür, et al.
Publicado: (2025)

Breaking the Symmetries of Indistinguishable Objects
por: Akgun, Ozgur, et al.
Publicado: (2025)

Composable Constraint Models for Permutation Enumeration
por: Hoffmann, Ruth, et al.
Publicado: (2023)

Hopf Bifurcation in Asymmetric Ring Networks: Constraints on Phase Shifts
por: Stewart, Ian
Publicado: (2024)

Automating Reformulation of Essence Specifications via Graph Rewriting
por: Miguel, Ian, et al.
Publicado: (2024)

Stabilization distance bounds from link Floer homology
por: Juhász, András, et al.
Publicado: (2018)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
por: Berman, Shmuel, et al.
Publicado: (2024)

Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
por: Vossel, Felix, et al.
Publicado: (2025)

SQL Query Engine: A Self-Healing LLM Pipeline for Natural Language to PostgreSQL Translation
por: Ijaz, Muhammad Adeel
Publicado: (2026)

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
por: Roos, Nico
Publicado: (2024)

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

Distilling Desired Comments for Enhanced Code Review with Large Language Models
por: Yu, Yongda, et al.
Publicado: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
por: Putra, Rizky Ramadhana, et al.
Publicado: (2026)

A Reduction of Input/Output Logics to SAT
por: Steen, Alexander
Publicado: (2025)

Fine-Tuning LLMs to Analyze Multiple Dimensions of Code Review: A Maximum Entropy Regulated Long Chain-of-Thought Approach
por: Yu, Yongda, et al.
Publicado: (2025)

MoDeGPT: Modular Decomposition for Large Language Model Compression
por: Lin, Chi-Heng, et al.
Publicado: (2024)

Algorithmic Trading Strategy Development and Optimisation
por: Yuan, Owen Nyo Wei, et al.
Publicado: (2026)

Retrieval and Augmentation of Domain Knowledge for Text-to-SQL Semantic Parsing
por: Patwardhan, Manasi, et al.
Publicado: (2025)

Memory Architectures for Multi-Turn Text-to-SQL: A Benchmark and Empirical Study
por: Tummalapenta, Ravi Kumar, et al.
Publicado: (2026)

Integrality of Stickelberger elements and annihilation of natural Galois modules
por: Ellerbrock, Nils, et al.
Publicado: (2022)

LLMCup: Ranking-Enhanced Comment Updating with LLMs
por: Ge, Hua, et al.
Publicado: (2025)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
por: Yadamsuren, Borchuluun, et al.
Publicado: (2025)

Datrics Text2SQL: A Framework for Natural Language to SQL Query Generation
por: Gladkykh, Tetiana, et al.
Publicado: (2025)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
por: Echenim, Mnacho, et al.
Publicado: (2023)

MIRAGE: Scaling Test-Time Inference with Parallel Graph-Retrieval-Augmented Reasoning Chains
por: Wei, Kaiwen, et al.
Publicado: (2025)

Text-to-SQL based on Large Language Models and Database Keyword Search
por: Nascimento, Eduardo R., et al.
Publicado: (2025)

Bethe roots for periodic TASEP and algebraic curve
por: Iwao, Shinsuke, et al.
Publicado: (2025)

Fourier Quasicrystals on $\mathbb R^n$
por: Lawton, Wayne M, et al.
Publicado: (2024)

Corporate interest rate risk management with derivatives in Australia: empirical results
por: Luiz Augusto Ferreira Carneiro
Publicado: (2008)

Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
por: Arafat, Jahidul, et al.
Publicado: (2025)

A Framework for Generating Informative Benchmark Instances
por: Dang, Nguyen, et al.
Publicado: (2022)

Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers
por: Abramov, Roman, et al.
Publicado: (2025)

5G Network Automation Using Local Large Language Models and Retrieval-Augmented Generation
por: Majlesara, Ahmadreza, et al.
Publicado: (2025)

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
por: Zhang, Zijian, et al.
Publicado: (2024)

Knowledge-Guided Multi-Agent Framework for Automated Requirements Development: A Vision
por: Huang, Jiangping, et al.
Publicado: (2025)

ESALE: Enhancing Code-Summary Alignment Learning for Source Code Summarization
por: Fang, Chunrong, et al.
Publicado: (2024)

Advancing Explainability in Neural Machine Translation: Analytical Metrics for Attention and Alignment Consistency
por: Mishra, Anurag
Publicado: (2024)

Leveraging Log Probabilities in Language Models to Forecast Future Events
por: Soru, Tommaso, et al.
Publicado: (2025)

Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization
por: Sun, Weisong, et al.
Publicado: (2025)