constraint satisfaction

Learning Human Contribution Preferences in Collaborative Human-Robot Tasks CoRL 2023 Learning Logic Programs by Discovering Where Not to Search AAAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023 Learning When to Use Automatic Tabulation in Constraint Model Reformulation IJCAI 2023 Learning where and when to reason in neuro-symbolic inference ICLR 2023 Learning with Logical Constraints but without Shortcut Satisfaction ICLR 2023 LinSATNet: The Positive Linear Satisfiability Neural Networks ICML 2023 Model Predictive Control with Reach-avoid Analysis IJCAI 2023 Multi-Agent First Order Constrained Optimization in Policy Space NeurIPS 2023 One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction IJCAI 2023 Online Learning under Adversarial Nonlinear Constraints NeurIPS 2023 PaTeCon: A Pattern-Based Temporal Constraint Mining Method for Conflict Detection on Knowledge Graphs AAAI 2023 Predictive safety filter using system level synthesis L4DC 2023 Probabilistic Generalization of Backdoor Trees with Application to SAT AAAI 2023 SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023 Scalable Coupling of Deep Learning with Logical Reasoning IJCAI 2023 Semantic Strengthening of Neuro-Symbolic Learning AISTATS 2023 State-wise Safe Reinforcement Learning: A Survey IJCAI 2023 Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus AAAI 2023 Targeting Minimal Rare Itemsets from Transaction Databases IJCAI 2023 The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023 Unite and Conquer: Plug & Play Multi-Modal Synthesis Using Diffusion Models CVPR 2023 VOCE: Variational Optimization with Conservative Estimation for Offline Safe Reinforcement Learning NeurIPS 2023 Best Heuristic Identification for Constraint Satisfaction IJCAI 2022 Calibrated Data-Dependent Constraints with Exact Satisfaction Guarantees NeurIPS 2022