With apologies for multiple copies:
SAT-2005
8th International Conference on Theory and Applications of Satisfiability Testing
with
2005 SAT Solver Competition 2005 QBF Solver Evaluation
June 19th-23rd 2005 University of St Andrews Conference Centre St Andrews, Scotland.
Registration now open:
http://www.satisfiability.org/SAT05/ _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
