constraint satisfaction

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking AAAI 2026 Constraint Optimization of MicroPlate Designs AAAI 2026 CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games with LLM-Enhanced Inference AAAI 2026 Differentially Private Linear Programming: Reduced Sub-Optimality and Guaranteed Constraint Satisfaction AAAI 2026 Don’t Stop the Multi-Party! On Generating Synthetic Written Multi-Party Conversations with Constraints AAAI 2026 Feasibility-Aware Masked Transformer for the Pickup-and-Delivery Problem with Time Windows (Student Abstract) AAAI 2026 Generating Streamlining Constraints with Large Language Models (Abstract Reprint) AAAI 2026 JCT at SemEval-2026 Task 1: Let the Best Joke Win - A Generate - and-Rank Approach to Constrained Humor SemEval 2026 Optimizing against Infeasible Inclusions from Data for Semantic Segmentation through Morphology WACV 2026 Ordered Objectives in Maximum Satisfiability AAAI 2026 Right Branches Matter in Failure-based Variable Ordering Heuristics AAAI 2026 Safe Reinforcement Learning for Trustworthy AI: Theory, Algorithms, and Applications AAAI 2026 TartanMaroon: Multi-Agent Academic Advising with Iterative Negotiation and Transparent Collaboration ACL 2026 Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning AAAI 2026 T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method AAAI 2026 UCPO: A Universal Constrained Combinatorial Optimization Method via Preference Optimization AAAI 2026 A Category-Theoretic Approach to Neural-Symbolic Task Planning with Bidirectional Search EMNLP 2025 Aligning to Constraints for Data-Efficient Language Model Customization NAACL 2025 A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction UAI 2025 Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints ICLR 2025 Black-Box Optimization with Implicit Constraints for Public Policy AAAI 2025 Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models IJCAI 2025 CARE-STaR: Constraint-aware Self-taught Reasoner ACL 2025 COFlowNet: Conservative Constraints on Flows Enable High-Quality Candidate Generation ICLR 2025 Constrained Online Convex Optimization with Polyak Feasibility Steps ICML 2025