the boolean satisfaction and optimization library in Java


They are using SAT4J for their research or tools:
  • 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:
Some of their ideas are implemented in SAT4J:

Other contributors