Index of /docs
Name Last modified Size Description
Parent Directory -
ASP.pdf 2005-06-14 18:59 250K
BattleLines.pdf 2011-03-23 03:11 73K
Battleship.doc 2007-11-30 04:18 42K
Battleship_Times_and..> 2018-11-13 03:48 33K
BattleshipsAsDecidab..> 2005-01-27 12:18 101K
BattleshipsAsDecidab..> 2005-01-27 11:59 444K
Battleships_with_0_o..> 2018-11-12 02:35 46K
Bellows-Eric-Matusew..> 2021-06-04 05:51 1.0M
BtlshipSolvGuide.pdf 2005-09-02 09:56 1.0M
Cocx_Automated_gener..> 2008-06-18 06:14 2.1M
LECT-04.PDF 2002-02-01 11:59 138K
Zelfi_BattleShip_Puz..> 2018-11-13 04:19 43K
Zelfi_BattleShip_Puz..> 2008-01-27 21:32 -
battleship_descripti..> 2018-11-12 04:02 7.0K
battleship_descripti..> 2018-11-12 04:14 -
battleships-aima.lis..> 2007-01-09 09:17 6.8K
battleships2.lisp.txt 2007-01-09 09:17 20K
btlsez32.lzh 2018-11-23 03:36 34K
cache/ 2013-09-27 09:28 -
constraint_programmi..> 2018-11-08 21:23 126K
cppod-20-2006.pdf 2006-11-10 17:44 126K
fathomitrules.ppt 2006-02-17 01:24 334K
google_groups_view_t..> 2018-11-12 16:21 32K
lect-04.pdf 2002-02-01 01:59 138K
lightup-is-np-comple..> 2005-06-14 19:33 135K
meuffels-den-hertog/ 2011-02-13 03:34 -
minimal-battleship-c..> 2009-01-24 14:47 95K
minimal-battleship-c..> 2009-01-24 14:47 105K
note320.pdf 2005-12-16 17:11 78K
note320.ps 2005-12-16 05:30 49K
pearl-puzzles-are-np..> 2005-06-14 20:17 7.6K
problem_solving_in_i..> 2006-06-09 11:52 151K
puzcc.pdf 2007-10-04 14:07 98K
puzzle-solver-gary-d..> 2005-06-14 19:27 380K
puzzle-solving-gary-..> 2018-11-14 02:04 299K
qtest-02-password-wb..> 2002-06-28 13:25 554K
qtest-02-password-wb..> 2002-06-28 04:25 554K
qtest-clear.pdf 2000-06-30 12:00 275K
response_to_tucows_f..> 2005-11-28 19:35 5.5K
response_to_tucows_f..> 2005-11-28 18:36 3.8K
sekaibunka-battleshi..> 2005-09-08 13:18 721K
spiral-is-np-complet..> 2005-06-14 19:59 1.7M
szeredi_99_torpedo.txt 2005-01-14 13:10 85
ueda96npcompleteness.ps 2005-06-14 19:34 487K
wpcpart9.pdf 2000-04-10 08:07 410K
szeredi_99_torpedo.tgz 2005-01-14 13:03 30K GZIP compressed tar ar>