constraint propagation

Adaptive Constraint Propagation: Scaling Structured Inference for Large Language Models via Meta-Reinforcement Learning ACL 2026 Large Language Model Meets Constraint Propagation IJCAI 2025 On the Modelling of Constraints with Tractable Logical Operators AAAI 2025 Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025 AMO-aware Aggregates in Answer Set Programming IJCAI 2024 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024 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 Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 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 Constraint Games revisited IJCAI 2017 On Neighborhood Singleton Consistencies IJCAI 2017 On the Kernelization of Global Constraints IJCAI 2017 Fast Graph Laplacian Regularized Kernel Learning via Semidefinite–Quadratic–Linear Programming NeurIPS 2009 CPR for CSPs: A Probabilistic Relaxation of Constraint Propagation NeurIPS 2007