constraint satisfaction

Safe Reinforcement Learning of Control-Affine Systems with Vertex Networks L4DC 2021 Safe Reinforcement Learning Using Advantage-Based Intervention ICML 2021 Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021 Stochastic Bandits with Linear Constraints AISTATS 2021 Towards More Practical and Efficient Automatic Dominance Breaking AAAI 2021 XOR-CD: Linearly Convergent Constrained Structure Generation ICML 2021 A Cardinal Improvement to Pseudo-Boolean Solving AAAI 2020 ALGAMES: A Fast Solver for Constrained Dynamic Games RSS 2020 Approximate Heavily-Constrained Learning with Lagrange Multiplier Models NeurIPS 2020 Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs IJCAI 2020 CAMPs: Learning Context-Specific Abstractions for Efficient Planning in Factored MDPs CoRL 2020 Chain Length and CSPs Learnable with Few Queries AAAI 2020 Constraint Management for Batch Processes Using Iterative Learning Control and Reference Governors L4DC 2020 CoSaTa: A Constraint Satisfaction Solver and Interpreted Language for Semi-Structured Tables of Sentences EMNLP 2020 Counterexample-Guided Learning of Monotonic Neural Networks NeurIPS 2020 Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining AAAI 2020 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020 Generalized and Sub-Optimal Bipartite Constraints for Conflict-Based Search AAAI 2020 Hard Examples for Common Variable Decision Heuristics AAAI 2020 Incorporating Interpretable Output Constraints in Bayesian Neural Networks NeurIPS 2020 IPO: Interior-Point Policy Optimization under Constraints AAAI 2020 Language Generation via Combinatorial Constraint Satisfaction: A Tree Search Enhanced Monte-Carlo Approach EMNLP 2020 Learning Interpretable Models in the Property Specification Language IJCAI 2020 Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation AAAI 2020 On Robustness in Qualitative Constraint Networks IJCAI 2020