Satisfiability of boolean expressions --- some related conferences
ACM
IEEE
CiteSeer
Publishers and their journals
SAT Theory and Applications of Satisfiability Testing
CAV
SIAM ALENEX
VMCAI Verification, Model Checking and Abstract Interpretation
FOCS Foundations of Computer Science
SPIN Workshop on Model Checking of Software
STOC Symposium on Theory of Computing
STOCs (ACM Symp on Thy of Computing)
FCRC 2003 Federated Computing Research Conference
CIAC2003 Conference on Algorithms and Complexity
IJCAI International Joint Conference on Artificial Intelligence
IJCAI 2005
IJCAI 2003
IJCAI 2003 papers
FME2003 Formal Methods Europe
CHARME 2003
Stacs 2003
TACAS 2003
CHARME 2003
FMCAD 2002
SODA
SODA 2013
SODA 2012
SODA 2011
SODA 2010
SODA 2009
SODA 2008
SODA 07
SODA 06
SODA 05
SODA 04
SODA 03
AAAI 2005
AAAI 2002