integer programming

Co-Layout: LLM-driven Co-optimization for Interior Layout AAAI 2026 Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments AAAI 2026 Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach AAAI 2026 Learning Bayesian Network Classifiers to Minimize Class Variable Parameters JMLR 2026 BlackboxNLP-2025 MIB Shared Task: Improving Circuit Faithfulness via Better Edge Selection EMNLP 2025 Causal Discovery by Interventions via Integer Programming AAAI 2025 Expanding Connected Components from Alternative Terminals: Global Optimization for Freshwater Fishes Under the UN's 30x30 Conservation Goal IJCAI 2025 High School Course Scheduling: Student Preferences and Fairness Constraints (Student Abstract) AAAI 2025 Integer Programming Based Methods and Heuristics for Causal Graph Learning AISTATS 2025 Integer Programming for Generalized Causal Bootstrap Designs ICML 2025 NetMoE: Accelerating MoE Training through Dynamic Sample Placement ICLR 2025 New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets IJCAI 2025 Search Strategy Generation for Branch and Bound Using Genetic Programming AAAI 2025 Speedup Techniques for Switchable Temporal Plan Graph Optimization AAAI 2025 Computational Complexity of Verifying the Group No-show Paradox IJCAI 2024 DOGE-Train: Discrete Optimization on GPU with End-to-End Training AAAI 2024 Fair Classifiers that Abstain without Harm ICLR 2024 Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming IJCAI 2024 Learning Cut Generating Functions for Integer Programming NeurIPS 2024 Partial-to-Partial Shape Matching with Geometric Consistency CVPR 2024 Several Stories about High-Multiplicity EFx Allocation (Student Abstract) AAAI 2024 Adaptive Constraint Partition Based Optimization Framework for Large-Scale Integer Linear Programming (Student Abstract) AAAI 2023 Branch-Price-and-Cut for Causal Discovery CLeaR 2023 Cluster Explanation via Polyhedral Descriptions ICML 2023 Daycare Matching in Japan: Transfers and Siblings AAAI 2023