The provably total search problems of bounded arithmetic

By Alan Skelley, Neil Thapen. 2011

70 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications, Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/df1dedb6e677079d3027bd27ccdf6df5e63ede66