An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs Miguel F. Anjos OriginalPaper 30 January 2007 Pages: 1 - 14
Mechanizing common knowledge logic using COQ Pierre Lescanne OriginalPaper 07 March 2007 Pages: 15 - 43
A split-combination approach to merging knowledge bases in possibilistic logic Guilin QiWeiru LiuDavid A. Bell OriginalPaper 09 January 2007 Pages: 45 - 84
Learning parallel portfolios of algorithms Marek PetrikShlomo Zilberstein OriginalPaper 25 May 2007 Pages: 85 - 106