Content deleted Content added
Rescuing 18 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Eastmain - 16078 |
No edit summary |
||
Line 60:
The Cyc TPTP Challenge is a competition to develop reasoning methods for the [[Cyc]] comprehensive ontology and database of everyday common sense knowledge.<ref>{{cite web|url=http://www.opencyc.org/doc/tptp_challenge_problem_set|archive-url=https://web.archive.org/web/20120319123128/http://www.opencyc.org/doc/tptp_challenge_problem_set|url-status=dead|archive-date=2012-03-19|title=The Cyc TPTP Challenge Problem Set|website=opencyc.org}}</ref> The prize is 100 euros for "each winner of two related challenges".{{citation needed|date=March 2023}}
The [[Eternity II]] challenge was a [[constraint satisfaction]] problem very similar to the [[Tetravex]] game. The objective is to lay 256 tiles on a 16x16 grid while satisfying a number of constraints. The problem is known to be [[NP-complete]].<ref>{{cite journal | doi = 10.1016/j.ipl.2006.04.010 | volume=99 | title=Tetravex is NP-complete | journal=Information Processing Letters | year=2006 | pages=171–174| arxiv=0903.1147 | last1=Takenaga | first1=Yasuhiko | last2=Walsh | first2=Toby | issue=5 | s2cid=7228681 }}</ref> The prize was US$2,000,000.<ref>[http://uk.eternityii.com/competition-rules-eternity-2/ "Eternity 2 - Competition Rules - Eternity II"] {{Webarchive|url=https://web.archive.org/web/20090120043104/http://uk.eternityii.com/competition%2Drules%2Deternity%2D2/
==Games==
|