conftrace_

constraint satisfaction problem

21 papers

Explore in graph

Also known as

CSP

Co-occurring keywords

constraint satisfaction (294) constraint propagation (21) combinatorial optimization (1039) conjunctive query (24) interval algebra (4) generalized arc consistency (8) decomposition method (13) fixed-parameter tractability (39) hypertree width (3) large language model (13587)

Papers

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
Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021
Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021
Lower Bounds and Faster Algorithms for Equality Constraints 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
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs 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
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018
Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018
Classification Transfer for Qualitative Reasoning Problems IJCAI 2018
Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017
Perturbed Message Passing for Constraint Satisfaction Problems JMLR 2015
Min-Max Problems on Factor Graphs ICML 2014