What is SAT Live!?
This site is a dynamic version of the
SAT page I manually maintained. Its aim is to provide up-to-date links
concerning the research on the SATisfiability problem. If you are working
in this area, please feel free to add a link to an article, a web page
or software available on the net. The information will be available as
soon as you add it: there is no moderator.
You can find more explanations here (postscript version, pdf version).
Please note that this site is still under development. Your comments
and feedback are welcome.
I would like to thanks all the users of SAT Live!, particularily:
I would also thanks the person who makes this possible, Mary-Anne
Andrew Slater, for his comments from the very first versions of the site,
and his help concerning my english ;-=).
Bart Selman, to have
given some credibility to the site by proposing some links at an early
stage of the site.
Joao Marques Silva, who has
advertised the site on his personal SAT page from its very first version.
Laurent Simon, to have created
the site that gave me the idea to create SAT Live!.
The very first users, there is always some trouble when a new site/software/product...
What is behind SAT Live!?
SAT Live! is a site mainly written thanks to Java
Server Pages (JSP) technology, a Java-based scripting framework for
SAT Live! is running on a Linux
box (PIII500, 128 Mo). It uses Apache
web server, plus Tomcat to handle
JSP pages. The JVM used is Sun
Data are stored in a mini-SQL
database, linked to Java thanks to the Imaginary
mSQL JDBC driver.
To map database records to objects, I also use TableGen
and Brett Ewin database pooling
The statistics of the site are provided thanks to Analog
The forums are provided thanks to Jive
open source software.
- 1 august 2001: major changes. The site is now using caching techniques to display information quicker. New features
have also been added: SATBIB search, click on keywords displays the list of all links containing this keyword, same thing for the reference type.
- 24 april 2001: added a web page for the SATBIB project.
- 28 february 2001: changed a bit SAT Live! design.
December 2000: updated SAT Live! server. Now the sive is much more stable.
8 november 2000: Changed a bit the internal design of jsp files to enable
as much as possible to re-use the files. The hits and promote counters
now work with the link id instead of the url: if two links were sharing
the same url, the first one was getting all the hits :(. It is now fixed
(it happenned only once). Added the forums
25 october 2000: Added a different color for software links. The site is
now using a style sheet for these colors. If you do not like them, your
propositions are welcome ;-=) Also added the 3 most visited entries of
the past month.
2-3 october 2000: the site was unreachable after the server was rebooted
:-(. Sorry for that.
26 setember 2000: changed the home page
of SAT Live!. Now only the 5 most recent links and the 3 most visited links
are displayed. Promote link feature also added.
12 september 2000: logo
modified, stats and this
8 september 2000: www.satlive.org is launched.
SAT Live! should provide up-to-date links for SAT. It just gives access
SAT Live! manage links, ie an information of the form (title,URL,comment).
It is true that for the moment (3rd october 2K), the links are mainly papers,
but there is already one about an incoming conference, another to a new
benchmark, one for a solver, one to a project ... There is no restriction
about the nature of the link.
What does the 'hits' column mean?
It is the number of times a given links has been accessed through SAT Live!
site or the SAT Live! newsletter. If you take a look to the URL used in
the site or the newsletter, they do not go directly to the link, but to
a hits.jsp file which counts each access. This information is common in
Is SAT Live! a site dedicated to advertise AI work?
No! SAT Live! has been designed as a way to easily share up-to-date links
around the SATisfaction problem. It has been designed in a pure anarchical
mind: everybody can submit a link, there is no moderator. If you think
you have an interesting link to propose, please feel free to contribute
to SAT Live!
By the way, when everything will be setup properly, the site should
live by himself, using agent technology to send new links notification,
error management, etc...
If you are interested to create the same kind of site for your own
research area, please feel free to contact
© 2000-2001 Business & Technology Research Laboratory.
© 2001-2005 Centre de Recherche en Informatique de Lens.
Hosted by Innovation
and Technology Research Lab.
Please send any comment to firstname.lastname@example.org.