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

Relating the Structure of a Problem and Its Explanation AAAI 2019
Phase Transition Behavior of Cardinality and XOR Constraints IJCAI 2019
A General-Purpose Algorithm for Constrained Sequential Inference CONLL 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access IJCAI 2019
Clause Learning and New Bounds for Graph Coloring IJCAI 2019
Semi-Autonomous Robot Teleoperation with Obstacle Avoidance Via Model Predictive Control RSS 2019
Trajectory Optimization on Manifolds: A Theoretically-Guaranteed Embedded Sequential Convex Programming Approach RSS 2019
Representing and Learning Grammars in Answer Set Programming AAAI 2019
A Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs IJCAI 2019
Batch Policy Learning under Constraints ICML 2019
Constraint-based Learning of Phonological Processes EMNLP 2019
Measuring the Likelihood of Numerical Constraints IJCAI 2019
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018
A Reactive Strategy for High-Level Consistency During Search IJCAI 2018
Relevant Emotion Ranking from Text Constrained with Emotion Relationships NAACL 2018
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018
Bayesian Network Structure Learning with Side Constraints PGM 2018
Improving Knowledge Graph Embedding Using Simple Constraints ACL 2018
Joint Reasoning for Temporal and Causal Relations ACL 2018
Selecting Representative Examples for Program Synthesis ICML 2018
Reasoning about Actions and State Changes by Injecting Commonsense Knowledge EMNLP 2018
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization IJCAI 2018
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections NIPS 2018
Classification Transfer for Qualitative Reasoning Problems IJCAI 2018
Streamlining Variational Inference for Constraint Satisfaction Problems NIPS 2018