Theory and Applications of Satisfiability Testing - SAT 2013
Theory and Applications of Satisfiability Testing - SAT 2013

Author: Matti Jarvisalo

Publisher: Springer

Published: 2013-06-24

Total Pages: 451

ISBN-13: 3642390714

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.

Formal Concept Analysis
Formal Concept Analysis

Author: Cynthia Vera Glodeanu

Publisher: Springer

Published: 2014-06-05

Total Pages: 308

ISBN-13: 331907248X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Formal Concept Analysis, ICFCA 2014, held in Cluj-Napoca, Romania, in June 2014. The 16 regular papers presented together with 3 invited talks were carefully reviewed and selected from 39 submissions. The papers in this volume cover a rich range of FCA aspects, such as theory, enhanced FCA. Knowledge discovery and knowledge spaces, as well as methods and applications. In addition the book contains a reprint of the first publication "Sub direct decomposition of concept lattices" by Rudolf Wille.