会议文集


文集名AAAI Technical Tracks (Constraint Satisfaction and Optimization; Data Mining & Knowledge Management)
会议名38th AAAI Conference on Artificial Intelligence (AAAI-24), 36th Conference on Innovative Applications of Artificial Intelligence (IAAI-24), 14th Symposium on Educational Advances in Artificial Intelligence (EAAI-24)
中译名《第三十八届AAAI人工智能会议，第三十六届人工智能创新应用会议，第十四届人工智能教育进展讨论会，卷8-1》
机构Association for the Advancement of Artificial Intelligence (AAAI)
会议日期20-27 February 2024
会议地点Vancouver, Canada
出版年2024
馆藏号354000


题名作者出版年
Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause GraphVasily Alferov; Ivan Bliznets; Kirill Brilliantov2024
Approximation Scheme for Weighted Metric Clustering via Sherali-AdamsDmitrii Avdiukhin; Vaggos Chatziafratis; Konstantin Makarychev; Grigory Yaroslavtsev2024
Neural Time-Reversed Generalized Riccati EquationAlessandro Betti; Michele Casoni; Marco Gori; Simone Marullo; Stefano Melacci; Matteo Tiezzi2024
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFsOlaf Beyersdorff; Benjamin Bohm; Meena Mahajan2024
Testing Self-Reducible SamplersRishiraj Bhattacharyya; Sourav Chakraborty; Yash Pote; Uddalok Sarkar; Sayantan Sen2024
Using Symmetries to Lift Satisfiability CheckingPierre Carbonnelle; Gottfried Schenner; Maurice Bruynooghe; Bart Bogaerts; Marc Denecker2024
Robust Beamforming for Downlink Multi-Cell Systems: A Bilevel Optimization PerspectiveXingdi Chen; Yu Xiong; Kai Yang2024
Hardness of Random Reordered Encodings of Parity for Resolution and CDCLLeroy Chew; Alexis de Colnet; Friedrich Slivovsky; Stefan Szeider2024
Percentile Risk-Constrained Budget Pacing for Guaranteed Display Advertising in Online OptimizationLiang Dai; Kejie Lyu; Chengcheng Zhang; Guangming Zhao; Zhonglin Zu; Liang Wang; Bo Zheng2024
Unifying Decision and Function Queries in Stochastic Boolean SatisfiabilityYu-Wei Fan; Jie-Hong R. Jiang2024
Parallel Empirical Evaluations: Resilience despite ConcurrencyJohannes K. Fichte; Tobias Geibinger; Markus Hecher; Matthias Schlogel2024
Locally Rainbow PathsTill Fluschnik; Leon Kellerhals; Malte Renken2024
Approximate Integer Solution Counts over Linear Arithmetic ConstraintsCunjing Ge2024
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex FormulaeRamiz Gindullin; Nicolas Beldiceanu; Jovial Cheukam-Ngouonou; Remi Douence; Claude-Guy Quimper2024
End-to-End Verification for Subgraph SolvingStephan Gocht; Ciaran McCreesh; Magnus O. Myreen; Jakob Nordstrom; Andy Oertel; Yong Kiam Tan2024
SAT-Based Techniques for Lexicographically Smallest Finite ModelsMikolas Janota; Choiwah Chow; Joao Araujo; Michael Codish; Petr Vojtechovsky2024
Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP SolvingJavier Larrosa; Conrado Martinez; Emma Rollon2024
Automatic Core-Guided Reformulation via Constraint Explanation and Condition LearningKevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace2024
Learning to Pivot as a Smart ExpertTianhao Liu; Shanwen Pu; Dongdong Ge; Yinyu Ye2024
Using Clustering to Strengthen Decision Diagram Bounds for Discrete OptimizationMohsen Nafar; Michael Romer2024
12345



制造业外文文献服务平台