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