constraint satisfaction problem

Large Language Model Meets Constraint Propagation IJCAI 2025 LR²Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems ACL 2025 Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025 ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning ICML 2025 Equilibrium Computation in Multidimensional Congestion Games: CSP and Learning Dynamics Approaches UAI 2024 Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer ICLR 2023 Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021 Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021 Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021 Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021 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 Fast and Parallel Decomposition of Constraint Satisfaction Problems IJCAI 2020 Lower Bounds and Faster Algorithms for Equality Constraints IJCAI 2020 Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems IJCAI 2020 Threshold Treewidth and Hypertree Width IJCAI 2020 Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020 Hardness of Improper One-Sided Learning of Conjunctions For All Uniformly Falsifiable CSPs ALT 2019 Classification Transfer for Qualitative Reasoning Problems IJCAI 2018 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018 Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018 Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017 Perturbed Message Passing for Constraint Satisfaction Problems JMLR 2015 Subsampled Power Iteration: a Unified Algorithm for Block Models and Planted CSP's NeurIPS 2015 Min-Max Problems on Factor Graphs ICML 2014