Vol. 66 (2019)

Published: 2019-09-02

Community Structure in Industrial SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

443 - 472

Revisiting Counting Solutions for the Global Cardinality Constraint

Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet, Gilles Pesant


DSTL: Solution to Limitation of Small Corpus in Speech Emotion Recognition

Ying Chen, Zhongzhe Xiao, Xiaojun Zhang, Zhi Tao

381 - 410

Timed ATL: Forget Memory, Just Count

Michal Jozef Knapik, Etienne Andre, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek

197 - 223

Multi-fidelity Gaussian Process Bandit Optimisation

Kirthevasan Kandasamy, Gautam Dasarathy, Junier Oliva, Jeff Schneider, Barnabás Póczos

151 - 196

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, Andrei Gagarin

85 - 122

Solving the Torpedo Scheduling Problem

Martin Josef Geiger, Lucas Kletzander, Nysret Musliu


View All Issues