Users

• Rémi Coletta (LIRMM, Montpellier)
  C. Bessiere, R. Coletta, F. Koriche, B. O'Sullivan. "A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems" Proceedings ECML'05, Porto, Portugal, pages 23--34. (pdf)
• Mathias Paulin (LIRMM, Montpellier)
  Mathias Paulin, Apprentissage interactif de réseau de contraintes, Proceedings of RJCIA'05, pages 225-238, Nice, France, Juin 2005. (ps in french)
• Pavel Shvaiko and Mikalai Yatskevich (Trento)
  Fausto Giunchiglia, Mikalai Yatskevich and Enrico Giunchiglia In Proceedings of "Second European Semantic Web Conference, ESWC", edited by Asucion Gomez-perez and Jerome Euzenat Heraklion, Crete, Greece 29 May - 1 June 2005 , vol. 3532/2005, pp. 272- Notes: ISBN: 3-540-26124-9 (pdf)
  P. Shvaiko, J. Euzenat: A Survey of Schema-based Matching Approaches. Journal on Data Semantics (JoDS), IV, LNCS 3730, pp. 146-171, 2005 (ps).
  P. Shvaiko, F. Giunchiglia, P. Pinheiro da Silva, D. L. McGuinness: Web Explanations for Semantic Heterogeneity Discovery In Proceedings of ESWC'05. LNCS vol. 3532, pp. 303-317 (pdf).
• Ivor Spence (Queen's University, Belfast) SuDoKu game (Java Applet)
• The OpenOME project (University of Toronto, Canada)
• Colin Pigden and Andy King (University of Kent, UK) Compiling Crosswords by SAT Solving, Master Project (Applet, slides pdf)
• Don Batory, AHEAD Tool Suite (University of Texas at Austin, USA)
  Feature Models, Grammars, and Propositional Formulas, SPLC 2005, LNCS 3714, pp. 7-20, 2005 (pdf)
• COBA2COBA 2.0 is a consistency-based belief change system based on the belief change algorithms developed by James Delgrande and Torsten Schaub.
• SAT4SATIN SAT grid computing using SAT4J
• Daniel Jackson and Emina Torlak: The Kodkod project and the new Alloy4
• Juan Jes�s Guti�rrez from Seville University (includes a comparison between SAT4J and OpenSAT in spanish)