先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名AAAI Technical Tracks (Constraint Satisfaction and Optimization; Data Mining & Knowledge Management I)
会议名39th AAAI Conference on Artificial Intelligence (AAAI-25), 37th Conference on Innovative Applications of Artificial Intelligence (IAAI-25), 15th Symposium on Educational Advances in Artificial Intelligence (EAAI-25)
中译名《第三十九届AAAI人工智能会议，第三十七届人工智能创新应用会议，第十五届人工智能教育进展讨论会，卷11-1》
机构Association for the Advancement of Artificial Intelligence (AAAI)
会议日期25 February - 4 March 2025
会议地点Philadelphia, Pennsylvania, USA
出版年2025
馆藏号358194


题名作者出版年
Cirbo: A New Tool for Boolean Circuit Analysis and SynthesisDaniil Averkov; Tatiana Belova; Gregory Emdin; Mikhail Goncharov; Viktoriia Krivogornitsyna; Alexander S. Kulikov; Fedor Kurmazov; Daniil Levtsov; Georgie Levtsov; Vsevolod Vaskin; Aleksey Vorobiev2025
Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised LearningSwann Bessa; Darius Dabert; Max Bourgeat; Louis-Martin Rousseau; Quentin Cappart2025
Exploiting Symmetries in MUS ComputationIgnace Bleukx; Helene Verhaeghe; Bart Bogaerts; Tias Guns2025
Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-BoundCatalin E. Brita; Jacobus G. M. van der Linden; Emir Demirovic2025
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUsYunuo Cen; Zhiwei Zhang; Xuanyao Fong2025
Linear Equations with Min and Max Operators: Computational ComplexityKrishnendu Chatterjee; Ruichen Luo; Raimundo Saona; Jakub Svoboda2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based SkolemizationKrishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Harshit J Motwani; Maximilian Seeliger; Dorde Zikelic2025
GPU-Accelerated Parallel Bilevel Optimization for Robust 6G ISACXingdi Chen; Kai Yang2025
Proof Simulation via Round-based Strategy Extraction for QBFLeroy Chew2025
Diffusion-based Synthetic Data Generation for Visible-Infrared Person Re-IdentificationWenbo Dai; Lijing Lu; Zhihang Li2025
Complete Symmetry Breaking for Finite ModelsMarek Danco; Mikolas Janota; Michael Codish; Joao Jorge Araujo2025
Decentralized Projected Riemannian Stochastic Recursive Momentum Method for Nonconvex OptimizationKangkang Deng; Jiang Hu2025
SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to BranchShengyu Feng; Yiming Yang2025
Langevin Multiplicative Weights Update with Applications in Polynomial Portfolio ManagementYi Feng; Xiao Wang; Tian Xie2025
Parameterized Complexity of Caching in NetworksRobert Ganian; Fionn Mc Inerney; Dimitra Tsigkari2025
FFCG: Effective and Fast Family Column Generation for Solving Large-Scale Linear ProgramYi-Xiang Hu; Feng Wu; Shaoang Li; Yifang Zhao; Xiang-Yang Li2025
Breaking Symmetries in Quantified Graph Search: A Comparative StudyMikolas Janota; Markus Kirchweger; Tomas Peitl; Stefan Szeider2025
A Complete Algorithm for Optimization Modulo Nonlinear Real ArithmeticFuqi Jia; Yuhang Dong; Rui Han; Pei Huang; Minghao Liu; Feifei Ma; Jian Zhang2025
DCC: Differentiable Cardinality Constraints for Partial Index TrackingWooyeon Jo; Hyunsouk Cho2025
Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSATShuolin Li; Chu-Min Li; Jordi Coll; Djamal Habet; Felip Manya2025
1234



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2025