Tamlab勉強内容

プロジェクト等

  • CSPSAT2 (科学研究費 基盤(B), 2012–2014(予定))
  • CSPSAT (科学研究費 基盤(A), 2008–2011)

ISTC

Ubuntu Linux

Cygwin

Java & Eclipse

CP (Constraint Programming)

OR

SAT

SAT Solvers

Programs

CSP2SAT and Sugar related papers and presentations

Puzzles

SSP (Shop-Scheduling Problems)

GCP (Graph Coloring Problems)

BIBD (Balanced Incomplete Block Design)

Latin Squares

Timetabling

ASP (Answer Set Programming)

LP (Logic Programming)

LaTeX

文献検索

その他

日付: 2015-03-28T16:09+0900

Validate XHTML 1.0