SAT
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 words

Event series page: http://www.satisfiability.org

570 papers in 15 issues:

2015
SATProceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
2014
SATProceedings 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
SATProceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
2012
SATProceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
2011
SATProceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
2010
SATProceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
2009
SATProceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
2008
SATProceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)
2007
SATProceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
2006
SATProceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
2005
SATProceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)
2004
SATProceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
SATRevised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
2003
SATSelected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
2002
SATProceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)
2001
SATProceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.