6

Parallel Answer Set Programming

Answer Set Programming (ASP) has become, in recent years, the paradigm of choice for the logic programming community and for a wide variety of application domains. Thanks to its declarative nature, ASP offers excellent opportunities for performance …

Reasoning on Relations, Modalities, and Sets

Preface

Banishing Ultrafilters from Our Consciousness

Preface

CNV and structural variation in plants prospects of NGS approaches

Deletion, insertion, and duplications larger than 1 kb are structural variants (SVs) classified as copy number variants (CNVs). Beside single nucleotide variants (SNVs), CNVs are widespread in plants and substantially contribute to intra-species …

Foreword [to Constraint Solving and Planning with Picat]

Hierarchical Assembly of Pools

This study introduces a method to address the problem of building a draft de novo assembly of complex genomes when a collection of well-assembled long-insert pools is available. Sequencing and assembling a collection of such pools reduces the …

Algorithms and Data Structures for Next Generation Sequences

A multi-paradigm tool for large neighborhood search

Studies in Computational Intelligence Volume 434, 2013, Pages 389-414 A multi-paradigm tool for large neighborhood search (Article) Cipriano, R.a , Di Gaspero, L.b , Dovier, Agostinoa a Dipartimento di Matematica e Informatica, Università Degli …