会议文集


文集名AAAI Technical Tracks: Constraint Satisfaction and Optimization, Data Mining and Knowledge Management
会议名35th AAAI Conference on Artificial Intelligence (AAAI-21)
中译名《第三十五届AAAI人工智能会议，卷5-1》
机构Association for the Advancement of Artificial Intelligence (AAAI)
会议日期2-9 February 2021
会议地点Online
出版年2021
馆藏号340641


题名作者出版年
New Length Dependent Algorithm for Maximum Satisfiability ProblemVasily Alferov; Ivan Bliznets2021
Online Search with Maximum ClearanceSpyros Angelopoulos; Malachi Voss2021
Counting Maximal Satisfiable SubsetsJaroslav Bendik; Kuldeep S. Meel2021
Learning To Scale Mixed-Integer ProgramsTimo Berthold; Gregor Hendel2021
A SAT-based Resolution of Lam's ProblemCurtis Bright; Kevin K. H. Cheung; Brett Stevens; Ilias Kotsireas; Vijay Ganesh2021
Combining Reinforcement Learning and Constraint Programming for Combinatorial OptimizationQuentin Cappart; Thierry Moisan; Louis-Martin Rousseau; Isabeau Premont-Schwarz; Andre A. Cire2021
Necessary and Sufficient Conditions for Avoiding Reopenings in Best First Suboptimal Search with General Bounding FunctionsJingwei Chen; Nathan R. Sturtevant2021
A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability SolvingPei-Wei Chen; Yu-Ching Huang; Jie-Hong R. Jiang2021
An Improved Upper Bound for SATHuairui Chu; Mingyu Xiao; Zhe Zhang2021
Solving Infinite-Domain CSPs Using the Patchwork PropertyKonrad K. Dabrowski; Peter Jonsson; Sebastian Ordyniak; George Osipov2021
Disjunctive Temporal Problems under Structural RestrictionsKonrad K. Dabrowski; Peter Jonsson; Sebastian Ordyniak; George Osipov2021
Optimal Decision Trees for Nonlinear MetricsEmir Demirovic; Peter J. Stuckey2021
Teaching the Old Dog New Tricks: Supervised Learning with ConstraintsFabrizio Detassis; Michele Lombardi; Michela Milano2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes ReasoningJo Devriendt; Stephan Gocht; Emir Demirovic; Jakob Nordstrom; Peter J. Stuckey2021
Optimising Automatic Calibration of Electric Muscle StimulationGraeme Gange; Jarrod Knibbe2021
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean ProofsStephan Gocht; Jakob Nordstrom2021
Finding Diverse Trees, Paths, and MoreTesshu Hanaka; Yasuaki Kobayashi; Kazuhiro Kurita; Yota Otachi2021
Scalable Verification of Quantized Neural NetworksThomas A. Henzinger; Mathias Lechner; Dorde Zikelic2021
Integrated Optimization of Bipartite Matching and Its Stochastic Behavior: New Formulation and Approximation Algorithm via Min-cost Flow OptimizationYuya Hikima; Yasunori Akagi; Hideaki Kim; Masahiro Kohjima; Takeshi Kurashima; Hiroyuki Toda2021
A Scalable Two Stage Approach to Computing Optimal Decision SetsAlexey Ignatiev; Edward Lam; Peter J. Stuckey; Joao Marques-Silva2021
1234



©2016机械工业出版社（机械工业信息研究院） 京ICP备05055788号-35