CSPSAT3

English | Japanese CSPSAT
(until FY2011)
CSPSAT2
(until FY2014)
Cloud
(until FY2015)
CSPASP
(since FY2015)

News

2017.10.5 11th CSPSAT and ASP Seminar will be held on November 14 and 15! URL
  Prof. Torsten Schaub (a leading researcher in Answer Set Programming) will give an invited talk!
2016.6.2 10th CSPSAT Seminar will be held on November 14 and 15! URL
  Prof. Danile Le Berre (the developer of Sat4j running on Eclipse) will give an invited talk!
2016.4.7 The web page of CSPSAT3 has launched!
  If you are interested, please look our past related projects: CSPSAT, CSPSAT2, Cloud
  Our other active project about Constraint Answer Set Programming, CSPASP is also ongoing.

Backnumber