conftrace_

constraint satisfaction

294 papers

Explore in graph

Co-occurring keywords

safe reinforcement learning (120) policy optimization (657) combinatorial optimization (1039) large language model (13587) constraint programming (95) constrained optimization (281) reinforcement learning (4352) constraint satisfaction problem (21) safety constraint (69) neural network (6616)

Papers

Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation AAAI 2020
Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020
Please Mind the Root: Decoding Arborescences for Dependency Parsing EMNLP 2020
Structured Tuning for Semantic Role Labeling ACL 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
Query Graph Generation for Answering Multi-hop Complex Questions from Knowledge Bases ACL 2020
Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020
Routing Enforced Generative Model for Recipe Generation EMNLP 2020
Generalized and Sub-Optimal Bipartite Constraints for Conflict-Based Search AAAI 2020
Language Generation via Combinatorial Constraint Satisfaction: A Tree Search Enhanced Monte-Carlo Approach EMNLP 2020
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations NIPS 2020
Safe Policy Learning for Continuous Control CORL 2020
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs IJCAI 2020
On Robustness in Qualitative Constraint Networks IJCAI 2020
Threshold Treewidth and Hypertree Width IJCAI 2020
Learning Interpretable Models in the Property Specification Language IJCAI 2020
IPO: Interior-Point Policy Optimization under Constraints AAAI 2020
On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank AAAI 2020
Incorporating Interpretable Output Constraints in Bayesian Neural Networks NIPS 2020
Conditional Preference Network with Constraints and Uncertainty IJCAI 2019
Matching with Constraints IJCAI 2019
Teaching AI Agents Ethical Values Using Reinforcement Learning and Policy Orchestration IJCAI 2019
Numerical Optimization to AI, and Back AAAI 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver ICML 2019
Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search AAAI 2019