International Conference on Theory and Applications of Satisfiability Testing (SAT)
(brand of TEST)1 × Austria
2 × Canada
1 × China
1 × Finland
2 × Italy
1 × Portugal
5 × USA
3 × United Kingdom
297 ×#satisfiability
51 ×#algorithm
51 ×#named
49 ×#problem
40 ×#performance
31 ×#using
29 ×#bound
29 ×#on the
28 ×#quantifier
26 ×#constraints
Vocabulary: 864 wordsEvent series page: http://www.satisfiability.org
570 papers in 15 issues:
- 2015
Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)- 2014
- Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014) (SAT 2014)
- 2013
- Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
- 2012
- Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
- 2011
- Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
- 2010
- Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
- 2009
- Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
- 2008
- Proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)
- 2007
- Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
- 2006
- Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
- 2005
- Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)
- 2004
- Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
- Revised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
- 2003
- Selected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
- 2002
- Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)
- 2001
- Proceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)
2 × Canada
1 × China
1 × Finland
2 × Italy
1 × Portugal
5 × USA
3 × United Kingdom
297 ×#satisfiability
51 ×#algorithm
51 ×#named
49 ×#problem
40 ×#performance
31 ×#using
29 ×#bound
29 ×#on the
28 ×#quantifier
26 ×#constraints
Vocabulary: 864 words
570 papers in 15 issues:
- 2015
- Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
- 2014
- Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014) (SAT 2014)
- 2013
- Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
- 2012
- Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
- 2011
- Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
- 2010
- Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
- 2009
- Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
- 2008
- Proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)
- 2007
- Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
- 2006
- Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
- 2005
- Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)
- 2004
- Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
- Revised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
- 2003
- Selected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
- 2002
- Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)
- 2001
- Proceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)