ian miguel tjltdcsstandacuk apologies multiple copies sat2005 8th international conference theory applications satisfiability testing 2005 sat solver competition 2005 qbf solver evaluation june 19th23rd 2005 university st andrews conference centre st andrews scotland registration open httpwwwsatisfiabilityorgsat05 wed 06 aug 2008 103013 0100 uai call participation sat 2005