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)

Persons involved in some ways in SAT4J @ CRIL

The following students took part in the development of SAT4J:

• Laurent Stemmer
  2006 Visualization, Fractal
• Nizar Salhaji
  2006 Visualization, Fractal
• Médéric Baron
  2005 PB05 IO, Integration with Alloy
• Joffrey Bourgeois
  2005 UBCSAT
• Yann Irrilo
  2004 pseudo boolean constraints
• Frédéric Fontaine
  2004 distributed version with ProActive
• Frédéric Laihem
  2004 optimization for the SAT2004 competition

Researchers developing SAT4J:

• Daniel Le Berre
  Project leader
• Anne Parrain
  Pseudo boolean

Some of their ideas are implemented in SAT4J:

• Olivier Roussel
  SAT, Pseudo boolean
• Lakdhar Sais
  Pseudo boolean

Other contributors

• Ivor Spence
  Sudoku
• Dieter von Holten
  Code enhancements
• Christophe Vasseur
  Graphical design
• Carsten Fuhs
  Aprove/SAT4J bridge