Image de couverture de livre

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cai, Xuran, Goharshady, Amir
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Series-Parallel-Loop Decompositions of Control-flow Graphs
par: Cai, Xuran, et autres
Publié: (2026)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
par: Cai, Xuran
Publié: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
par: Goharshady, Amir K., et autres
Publié: (2026)

PolyQEnt: A Polynomial Quantified Entailment Solver
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

SuperDP: Differential Privacy Refutation via Supermartingales
par: Chatterjee, Krishnendu, et autres
Publié: (2026)

Polynomial Invariant Generation for Floating-Point Programs
par: Cai, Xuran, et autres
Publié: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Termination Analysis of Linear-Constraint Programs
par: Ben-Amram, Amir M., et autres
Publié: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
par: Näumann, Julius, et autres
Publié: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
par: Wiemerslage, Adam, et autres
Publié: (2020)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
par: Amonkar, Rikhil, et autres
Publié: (2025)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
par: Liu, Shicheng, et autres
Publié: (2023)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
par: Dong, Yixin, et autres
Publié: (2024)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
par: Singhvi, Arnav, et autres
Publié: (2023)

REAMS: Reasoning Enhanced Algorithm for Maths Solving
par: Singh, Eishkaran, et autres
Publié: (2025)

Algorithmic Language Models with Neurally Compiled Libraries
par: Saldyt, Lucas, et autres
Publié: (2024)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
par: Maekawa, Seiji, et autres
Publié: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
par: Kargaran, Amir Hossein, et autres
Publié: (2025)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
par: Heuvel, Bas van den, et autres
Publié: (2025)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
par: Sultan, Oren, et autres
Publié: (2026)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
par: Vieira, Tim
Publié: (2026)

Partial Incorrectness Logic
par: Verscht, Lena, et autres
Publié: (2025)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
par: Li, Nanbing, et autres
Publié: (2026)

On Classifying Continuous Constraint Satisfaction Problems
par: Miltzow, Tillmann, et autres
Publié: (2021)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)

A2H-MAS: An Algorithm-to-HLS Multi-Agent System for Automated and Reliable FPGA Implementation
par: Lei, Jie, et autres
Publié: (2025)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
par: Bond, Joseph, et autres
Publié: (2024)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
par: Irugalbandara, Chandra
Publié: (2024)

A Deductive System for Contract Satisfaction Proofs
par: Correnson, Arthur, et autres
Publié: (2026)

Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets
par: Joshi, Harshit, et autres
Publié: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
par: Zhou, Shang, et autres
Publié: (2025)

LR^2Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems
par: Chen, Jianghao, et autres
Publié: (2025)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
par: Vijayaraghavan, Prashanth, et autres
Publié: (2026)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
par: Wang, Yaoxiang, et autres
Publié: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
par: Xiong, Jing, et autres
Publié: (2026)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
par: Du, Xiaotang, et autres
Publié: (2026)

Constrained Code Generation with Discrete Diffusion
par: Shao, Lize, et autres
Publié: (2026)