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

Constrained Cross-Entropy Method for Safe Reinforcement Learning NIPS 2018
A Lyapunov-based Approach to Safe Reinforcement Learning NIPS 2018
Fast Lexically Constrained Decoding with Dynamic Beam Allocation for Neural Machine Translation NAACL 2018
Learning Bayesian Networks by Branching on Constraints PGM 2018
Solving Sudoku with Consistency: A Visual and Interactive Approach IJCAI 2018
Boosting Combinatorial Problem Modeling with Machine Learning IJCAI 2018
Stagewise Safe Bayesian Optimization with Gaussian Processes ICML 2018
Complexity of n-Queens Completion (Extended Abstract) IJCAI 2018
A Framework for Constraint Based Local Search using Essence IJCAI 2018
Multi-Objective Optimization Through Pareto Minimal Correction Subsets IJCAI 2018
A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint IJCAI 2018
Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018
On Neighborhood Singleton Consistencies IJCAI 2017
Locality in Random SAT Instances IJCAI 2017
Linearly constrained Gaussian processes NIPS 2017
Named Entity Recognition in the Medical Domain with Constrained CRF Models EACL 2017
Constraint-Based Symmetry Detection in General Game Playing IJCAI 2017
Generalized Linear Model Regression under Distance-to-set Penalties NIPS 2017
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints IJCAI 2017
Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017
On Redundant Topological Constraints (Extended Abstract) IJCAI 2017
The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017
On Learning vs. Refutation COLT 2017
Automatically Generating Rhythmic Verse with Neural Networks ACL 2017