Theory and Applications of Satisfiability Testing - SAT 2016

Author : Daniel Le Berre,Nadia Creignou

Paperback

Published : Sunday 12 June 2016

ISBN : 9783319409696

Price : €81.89

Description

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

You may also like ...

Theory and Applications of Satisfiabili...

by Daniel Le Berre,Nadia Creignou

Paperback

12 Jun 2016

Software Engineering

€81.89

Extended stock – Dispatch 5-7 days

New

Competences pour minimiser le stress ch...

by Shannon, RN, MPH, EdD Dames

Paperback

02 May 2024

Nursing

€33.92

Extended stock – Dispatch 5-7 days

Le marchand et les poids et mesures

by Jean-Claude Hocquet

Hardback

01 Nov 2022

European history

€146.25

Extended stock – Dispatch 5-7 days

Ogier`s Youth (Les Enfances Ogier) - A ...

by Anna Moore Morton

Paperback

26 May 2020

Literature: history and criticism

€70.20

Extended stock – Dispatch 5-7 days

Reviews