Email Gateway (Aug 18 2022 at 12:47): Email Gateway (Aug 18 2022 at 12:47):From: Oliver Kullmann <O.Kullmann@swansea.ac.uk>
Hello,
I hope you don't mind the following (second) call for papers (see
attachment for the full text; my apologies in case you
obtain this letter several times; you have been addressed
by this e-mail since you have had some contacts with the
SAT community in the past).
SAT 2009 - 12th International Conference on Theory
and Applications of Satisfiability Testing
Second Call for Papers
June 30 - July 3, 2009, Swansea, United Kingdom
http://cs.swan.ac.uk/~csoliver/SAT2009/index.html
The International Conference on Theory and Applications of
Satisfiability Testing is the primary annual meeting for researchers
studying the propositional satisfiability problem (SAT). SAT'09 is
the twelfth SAT conference. SAT'09 features the SAT competition, the
the Pseudo-Boolean evaluation, and the MAX-SAT evaluation.
The topics of the conference span practical and
theoretical research on SAT and its applications and include, but are
not limited to, proof systems, proof complexity, search algorithms,
heuristics, analysis of algorithms, hard instances, randomised
formulae, problem encodings, industrial applications, solvers,
simplifiers, tools, case studies and empirical results. SAT is
interpreted in a rather broad sense: besides propositional
satisfiability, it includes the domain of quantified boolean
formulae (QBF), constraints programming techniques (CSP) for
word-level problems and their propositional encoding and
particularly satisfiability modulo theories (SMT).
Important dates: Abstract submission due: 20 Feb 2009;
Paper submission: 27 Feb 2009; Notification: 29 Mar 2009.
With best regards
Oliver Kullmann and the team for SAT 2009 in Swansea
sat09-cfp2.txt
Last updated: May 03 2024 at 08:18 UTC