Content deleted Content added
Atlantic306 (talk | contribs) removed bare-urls tag as addressed |
m Tagging pages with bare URLs for citation, prior to follow up with tools (via WP:JWB) |
||
Line 58:
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/ {{bare URL inline|date=April 2023}}</ref> The competition ended in December 2010.
==Games==
| |||