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

Constraints Penalized Q-learning for Safe Offline Reinforcement Learning AAAI 2022
Matching Market Design with Constraints AAAI 2022
The Bullets Puzzle: A Paper-and-Pencil Minesweeper AAAI 2022
Calibrated Data-Dependent Constraints with Exact Satisfaction Guarantees NIPS 2022
Constrained Update Projection Approach to Safe Policy Optimization NIPS 2022
Safe Robot Learning in Assistive Devices through Neural Network Repair CORL 2022
X-MEN: guaranteed XOR-maximum entropy constrained inverse reinforcement learning UAI 2022
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom AAAI 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021
Crossing Cuts Polygonal Puzzles: Models and Solvers CVPR 2021
MIMOSA: Multi-constraint Molecule Sampling for Molecule Optimization AAAI 2021
Policy Learning with Constraints in Model-free Reinforcement Learning: A Survey IJCAI 2021
Graph Edit Distance Learning via Modeling Optimum Matchings with Constraints IJCAI 2021
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity AAAI 2021
Joint Online Learning and Decision-making via Dual Mirror Descent ICML 2021
Endomorphisms of Classical Planning Tasks AAAI 2021
Generative Layout Modeling Using Constraint Graphs ICCV 2021
Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021
Safe Reinforcement Learning Using Advantage-Based Intervention ICML 2021
On the Complexity of Sum-of-Products Problems over Semirings AAAI 2021
Beyond the Pareto Efficient Frontier: Constraint Active Search for Multiobjective Experimental Design ICML 2021
Computing Optimal Hypertree Decompositions with SAT IJCAI 2021
Learning with Safety Constraints: Sample Complexity of Reinforcement Learning for Constrained MDPs AAAI 2021
XOR-CD: Linearly Convergent Constrained Structure Generation ICML 2021
Explanation in Constraint Satisfaction: A Survey IJCAI 2021