17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria


SAT 2014 is organized under the auspices of the SAT Association.

We would like to thank our sponsors:

Intel and the Intel logo are trademarks of Intel Corporation in the U.S. and/or other countries.