Buchumschlag

G-CSEA: A Graph-Based Conflict Set Extraction Algorithm for Identifying Infeasibility in Pseudo-Boolean Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Garg, Kanishk, D., Saranya, Kumar, Sanal, Singh, Saurabh, Purwar, Anupam
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MM-tau-p$^2$: Persona-Adaptive Prompting for Robust Multi-Modal Agent Evaluation in Dual-Control Settings
von: Purwar, Anupam, et al.
Veröffentlicht: (2026)

i-LAVA: Insights on Low Latency Voice-2-Voice Architecture for Agents
von: Purwar, Anupam, et al.
Veröffentlicht: (2025)

E-ARMOR: Edge case Assessment and Review of Multilingual Optical Character Recognition
von: Gupta, Aryan, et al.
Veröffentlicht: (2025)

LLM-Based Section Identifiers Excel on Open Source but Stumble in Real World Applications
von: Krishnamoorthy, Saranya, et al.
Veröffentlicht: (2024)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
von: Zheng, Jiongzhi, et al.
Veröffentlicht: (2024)

When Fine-Tuning Fails and when it Generalises: Role of Data Diversity and Mixed Training in LLM-based TTS
von: Purwar, Anupam, et al.
Veröffentlicht: (2026)

Engineering an Exact Pseudo-Boolean Model Counter
von: Yang, Suwei, et al.
Veröffentlicht: (2023)

Prescriptive Agents based on RAG for Automated Maintenance (PARAM)
von: Harbola, Chitranshu, et al.
Veröffentlicht: (2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
von: Dold, Simon, et al.
Veröffentlicht: (2025)

New Hybrid Heuristics for Pseudo-Boolean Propagation
von: Müßig, Mia, et al.
Veröffentlicht: (2025)

Multi-Objective Infeasibility Diagnosis for Routing Problems Using Large Language Models
von: Li, Kai, et al.
Veröffentlicht: (2025)

Learning Nonlinearity of Boolean Functions: An Experimentation with Neural Networks
von: Ranga, Sriram, et al.
Veröffentlicht: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
von: Szeider, Stefan
Veröffentlicht: (2026)

Infeasibility Aware Large Language Models for Combinatorial Optimization
von: Wang, Yakun, et al.
Veröffentlicht: (2026)

Budget-Efficient Automatic Algorithm Design via Code Graph
von: Bouscary, Maxime, et al.
Veröffentlicht: (2026)

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
von: Chen, Zhihan, et al.
Veröffentlicht: (2024)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
von: Sundermann, Chico, et al.
Veröffentlicht: (2025)

AWARE-US: Preference-Aware Infeasibility Resolution in Tool-Calling Agents
von: Kurmaz, Mehmet
Veröffentlicht: (2026)

Read between the lines -- Functionality Extraction From READMEs
von: Kumar, Prince, et al.
Veröffentlicht: (2024)

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

Boolean Product Graph Neural Networks
von: Wang, Ziyan, et al.
Veröffentlicht: (2024)

Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
von: Le, Nguyen Cong Nhat, et al.
Veröffentlicht: (2026)

When Verification Fails: How Compositionally Infeasible Claims Escape Rejection
von: Liu, Muxin, et al.
Veröffentlicht: (2026)

Penalizing Infeasible Actions and Reward Scaling in Reinforcement Learning with Offline Data
von: Kim, Jeonghye, et al.
Veröffentlicht: (2025)

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing
von: Latour, Anna L. D., et al.
Veröffentlicht: (2024)

Trusted Machine Learning Models Unlock Private Inference for Problems Currently Infeasible with Cryptography
von: Shumailov, Ilia, et al.
Veröffentlicht: (2025)

SIDiffAgent: Self-Improving Diffusion Agent
von: Garg, Shivank, et al.
Veröffentlicht: (2026)

An Order-Sensitive Conflict Measure for Random Permutation Sets
von: Cheng, Ruolan, et al.
Veröffentlicht: (2025)

Reading between the Lines: Can LLMs Identify Cross-Cultural Communication Gaps?
von: Saha, Sougata, et al.
Veröffentlicht: (2025)

An Explainable Reconfiguration-Based Optimization Algorithm for Industrial and Reliability-Redundancy Allocation Problems
von: Chauhan, Dikshit, et al.
Veröffentlicht: (2025)

Conflict-Aware Pseudo Labeling via Optimal Transport for Entity Alignment
von: Ding, Qijie, et al.
Veröffentlicht: (2022)

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization
von: Chowdhury, Animesh Basak, et al.
Veröffentlicht: (2024)

Conflict Detection for Temporal Knowledge Graphs:A Fast Constraint Mining Algorithm and New Benchmarks
von: Chen, Jianhao, et al.
Veröffentlicht: (2023)

Conflict-Resilient Multi-Agent Reasoning via Signed Graph Modeling
von: He, Longgang, et al.
Veröffentlicht: (2026)

Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory
von: Singh, Mukul, et al.
Veröffentlicht: (2025)

Alignment Faking - the Train -> Deploy Asymmetry: Through a Game-Theoretic Lens with Bayesian-Stackelberg Equilibria
von: Garg, Kartik, et al.
Veröffentlicht: (2025)

Post-Hoc Reversal: Are We Selecting Models Prematurely?
von: Ranjan, Rishabh, et al.
Veröffentlicht: (2024)

Graph Transformers without Positional Encodings
von: Garg, Ayush
Veröffentlicht: (2024)

Data to Decisions: A Computational Framework to Identify skill requirements from Advertorial Data
von: Singh, Aakash, et al.
Veröffentlicht: (2025)