Papers
Accelerating Column Generation via Flexible Dual Optimal Inequalities with Application to Entity Resolution
Vishnu Suresh Lokhande, Shaofei Wang, Maneesh Singh et al.
An Effective Hard Thresholding Method Based on Stochastic Variance Reduction for Nonconvex Sparse Learning
Guannan Liang, Qianqian Tong, Chunjiang Zhu et al.
Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining
Hongbo Li, Jimmy Lee, He Mi et al.
Solving Set Cover and Dominating Set via Maximum Satisfiability
Zhendong Lei, Shaowei Cai
Augmenting the Power of (Partial) MaxSat Resolution with Extension
Javier Larrosa, Emma Rollon
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Vardi et al.
Finding Most Compatible Phylogenetic Trees over Multi-State Characters
Tuukka Korhonen, Matti Järvisalo
Incremental Symmetry Breaking Constraints for Graph Search Problems
Avraham Itzhakov, Michael Codish
Modelling Diversity of Solutions
Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey et al.
SPAN: A Stochastic Projected Approximate Newton Method
Xunpeng Huang, Xianfeng Liang, Zhengyang Liu et al.
Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources
Arthur Godet, Xavier Lorca, Emmanuel Hebrard et al.
MIPaaL: Mixed Integer Program as a Layer
Aaron Ferber, Bryan Wilder, Bistra Dilkina et al.
A Cardinal Improvement to Pseudo-Boolean Solving
Jan Elffers, Jakob Nordstrm
Justifying All Differences Using Pseudo-Boolean Reasoning
Jan Elffers, Stephan Gocht, Ciaran McCreesh et al.
Modelling and Solving Online Optimisation Problems
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt et al.
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Jeffrey Dudek, Vu Phan, Moshe Vardi
Optimization of Chance-Constrained Submodular Functions
Benjamin Doerr, Carola Doerr, Aneta Neumann et al.
Accelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction
Jian-Ya Ding, Chao Zhang, Lei Shen et al.
Dynamic Programming for Predict+Optimise
Emir Demirovi?, Peter J. Stuckey, Tias Guns et al.
Representative Solutions for Bi-Objective Optimisation
Emir Demirovi?, Nicolas Schwind
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression
Md Solimul Chowdhury, Martin Müller, Jia You
Chain Length and CSPs Learnable with Few Queries
Christian Bessiere, Clément Carbonnel, George Katsirelos
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
Alessandro Bertagnon, Marco Gavanelli
Deep Unsupervised Binary Coding Networks for Multivariate Time Series Retrieval
Dixian Zhu, Dongjin Song, Yuncong Chen et al.
Tensorized LSTM with Adaptive Shared Memory for Learning Trends in Multivariate Time Series
Dongkuan Xu, Wei Cheng, Bo Zong et al.