Search

Search Results

• Learning Optimal and Fair Decision Trees for Non-Discriminative Decision-Making

  Sina Aghaei, Mohammad Javad Azizi, Phebe Vayanos

  1418-1426

  2019-07-17

• Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation

  Daniel Anderson, Gregor Hendel, Pierre Le Bodic, Merlin Viernickel

  1427-1434

  2019-07-17

• A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

  Curtis Bright, Dragomir Ž. Ðoković, Ilias Kotsireas, Vijay Ganesh

  1435-1442

  2019-07-17

• Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning

  Quentin Cappart, Emmanuel Goutierre, David Bergman, Louis-Martin Rousseau

  1443-1451

  2019-07-17

• Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

  Alexander Diedrich, Alexander Maier, Oliver Niggemann

  1452-1459

  2019-07-17

• On Geometric Alignment in Low Doubling Dimension

  Hu Ding, Mingquan Ye

  1460-1467

  2019-07-17

• A Nonconvex Projection Method for Robust PCA

  Aritra Dutta, Filip Hanzely, Peter Richtàrik

  1468-1476

  2019-07-17

• Solving Integer Quadratic Programming via Explicit and Structural Restrictions

  Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak

  1477-1484

  2019-07-17

• Stochastic Submodular Maximization with Performance-Dependent Item Costs

  Takuro Fukunaga, Takuya Konishi, Sumio Fujita, Ken-ichi Kawarabayashi

  1485-1494

  2019-07-17

• Constraint-Based Sequential Pattern Mining with Decision Diagrams

  Amin Hosseininasab, Willem-Jan van Hoeve, Andre A. Cire

  1495-1502

  2019-07-17

• Faster Gradient-Free Proximal Stochastic Methods for Nonconvex Nonsmooth Optimization

  Feihu Huang, Bin Gu, Zhouyuan Huo, Songcan Chen, Heng Huang

  1503-1510

  2019-07-17

• Abduction-Based Explanations for Machine Learning Models

  Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

  1511-1519

  2019-07-17

• Separator-Based Pruned Dynamic Programming for Steiner Tree

  Yoichi Iwata, Takuto Shigemura

  1520-1527

  2019-07-17

• Asynchronous Delay-Aware Accelerated Proximal Coordinate Descent for Nonconvex Nonsmooth Problems

  Ehsan Kazemi, Liqiang Wang

  1528-1535

  2019-07-17

• A Recursive Algorithm for Projected Model Counting

  Jean-Marie Lagniez, Pierre Marquis

  1536-1543

  2019-07-17

• RSA: Byzantine-Robust Stochastic Aggregation Methods for Distributed Learning from Heterogeneous Datasets

  Liping Li, Wei Xu, Tianyi Chen, Georgios B. Giannakis, Qing Ling

  1544-1551

  2019-07-17

• Adaptive Proximal Average Based Variance Reducing Stochastic Methods for Optimization with Composite Regularization

  Jingchang Liu, Linli Xu, Junliang Guo, Xin Sheng

  1552-1559

  2019-07-17

• Automatic Construction of Parallel Portfolios via Explicit Instance Grouping

  Shengcai Liu, Ke Tang, Xin Yao

  1560-1567

  2019-07-17

• On Sampling Complexity of the Semidefinite Affine Rank Feasibility Problem

  Igor Molybog, Javad Lavaei

  1568-1575

  2019-07-17

• Revisiting Projection-Free Optimization for Strongly Convex Constraint Sets

  Jarrid Rector-Brooks, Jun-Kun Wang, Barzan Mozafari

  1576-1583

  2019-07-17

• A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving

  Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst

  1584-1591

  2019-07-17

• BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

  Mate Soos, Kuldeep S. Meel

  1592-1599

  2019-07-17

• Algorithms for Average Regret Minimization

  Sabine Storandt, Stefan Funke

  1600-1607

  2019-07-17

• Concurrency Debugging with MaxSMT

  Miguel Terra-Neves, Nuno Machado, Ines Lynce, Vasco Manquinho

  1608-1616

  2019-07-17

• Bayesian Functional Optimisation with Shape Prior

  Pratibha Vellanki, Santu Rana, Sunil Gupta, David Rubin de Celis Leal, Alessandra Sutti, Murray Height, Svetha Venkatesh

  1617-1624

  2019-07-17