DES: a Challenge Problem for Nonmonotonic Reasoning Systems
The US Data Encryption Standard, DES for short, is put forward as an interesting benchmark problem for nonmonotonic reasoning systems
arxiv.orgrank this link
Refine results · kind
Checkers
3 indexed results
Phutball Endgames are Hard
We show that, in John Conway's board game Phutball (or Philosopher's Football), it is NP-complete to determine whether the current
arxiv.orgrank this link
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
The logic of equality with uninterpreted functions (EUF) provides a means of abstracting the manipulation of data by a processor
arxiv.orgrank this link