SAT 2014 LNCS PROCEEDINGS: EDITOR'S PREFACE

This volume contains the papers presented at SAT 2014: 17th International Conference on Theory and Applications of Satisfiability Testing held on July 13-16, 2014 in Vienna.

There were 75 submissions. Each submission was reviewed by at least 3, and on the average 4.0, program committee members. The committee decided to accept 32 papers. The program also includes 0 invited talks.

You can write the history of your conference here.

Write any acknowledgments ...

Do not forget to mention your sponsors!

We appreciate some words about the use of EasyChair but it is not necessary.