conftrace_

constraint propagation

21 papers

Explore in graph

Co-occurring keywords

constraint satisfaction (294) constraint programming (95) constraint satisfaction problem (21) generalized arc consistency (8) arc consistency (4) answer set programming (97) search algorithm (109) backtracking search (5) consistency algorithm (2) alldifferent constraint (5)

Papers

Adaptive Constraint Propagation: Scaling Structured Inference for Large Language Models via Meta-Reinforcement Learning ACL 2026
Large Language Model Meets Constraint Propagation IJCAI 2025
Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025
On the Modelling of Constraints with Tractable Logical Operators AAAI 2025
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024
AMO-aware Aggregates in Answer Set Programming IJCAI 2024
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) AAAI 2020
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs IJCAI 2020
Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints IJCAI 2020
Explaining Propagators for String Edit Distance Constraints AAAI 2020
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020
Stochastic Constraint Propagation for Mining Probabilistic Networks IJCAI 2019
A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint IJCAI 2018
A Reactive Strategy for High-Level Consistency During Search IJCAI 2018
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018
Solving Sudoku with Consistency: A Visual and Interactive Approach IJCAI 2018
On the Kernelization of Global Constraints IJCAI 2017
On Neighborhood Singleton Consistencies IJCAI 2017
Constraint Games revisited IJCAI 2017
Fast Graph Laplacian Regularized Kernel Learning via Semidefinite–Quadratic–Linear Programming NIPS 2009
CPR for CSPs: A Probabilistic Relaxation of Constraint Propagation NIPS 2007