Skip to content
conftrace_

Papers

199,004 papers found · 25,406 more still awaiting a processed abstract Show those too
A Recursive Algorithm for Projected Model Counting
Jean-Marie Lagniez, Pierre Marquis
2019 AAAI
2019 AAAI
Abduction-Based Explanations for Machine Learning Models
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
2019 AAAI
Constraint-Based Sequential Pattern Mining with Decision Diagrams
Amin Hosseininasab, Willem-Jan van Hoeve, Andre A. Cire
2019 AAAI
Stochastic Submodular Maximization with Performance-Dependent Item Costs
Takuro Fukunaga, Takuya Konishi, Sumio Fujita et al.
2019 AAAI
2019 AAAI
A Nonconvex Projection Method for Robust PCA
Aritra Dutta, Filip Hanzely, Peter Richtàrik
2019 AAAI
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory
Alexander Diedrich, Alexander Maier, Oliver Niggemann
2019 AAAI
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
Curtis Bright, Dragomir Ž. Ðoković, Ilias Kotsireas et al.
2019 AAAI
Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation
Daniel Anderson, Gregor Hendel, Pierre Le Bodic et al.
2019 AAAI
2019 AAAI
2019 AAAI
Interpretable Predictive Modeling for Climate Variables with Weighted Lasso
Sijie He, Xinyan Li, Vidyashankar Sivakumar et al.
2019 AAAI
2019 AAAI
Modelling Autobiographical Memory Loss across Life Span
Di Wang, Ah-Hwee Tan, Chunyan Miao et al.
2019 AAAI
Scalable Recollections for Continual Lifelong Learning
Matthew Riemer, Tim Klinger, Djallel Bouneffouf et al.
2019 AAAI