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

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction IJCAI 2023
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) IJCAI 2023
Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks IJCAI 2023
Enhancing Safe Exploration Using Safety State Augmentation NIPS 2022
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks AAAI 2022
Constrained Variational Policy Optimization for Safe Reinforcement Learning ICML 2022
Best Heuristic Identification for Constraint Satisfaction IJCAI 2022
Safe Learning in Tree-Form Sequential Decision Making: Handling Hard and Soft Constraints ICML 2022
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators ICML 2022
Composing Ci with Reinforced Non-autoregressive Text Generation EMNLP 2022
Learning to Configure Computer Networks with Neural Algorithmic Reasoning NIPS 2022
Problem Compilation for Multi-Agent Path Finding: a Survey IJCAI 2022
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022
Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning AAAI 2022
GEQCA: Generic Qualitative Constraint Acquisition AAAI 2022
Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method AAAI 2022
Event-Event Relation Extraction using Probabilistic Box Embedding ACL 2022
Down and Across: Introducing Crossword-Solving as a New NLP Benchmark ACL 2022
Legal Judgment Prediction via Event Extraction with Constraints ACL 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser EMNLP 2022
Consistency of Constrained Spectral Clustering under Graph Induced Fair Planted Partitions NIPS 2022
Learning Symmetric Rules with SATNet NIPS 2022
Towards Safe Reinforcement Learning with a Safety Editor Policy NIPS 2022
PYLON: A PyTorch Framework for Learning with Constraints AAAI 2022