PSPACE - PDFSEARCH.IO - Document Search Engine

PSPACE
Results: 62

#	Item
51	Space and energy efficient computation with DNA strand displacement systems Chris Thachuk and Anne Condon Department of Computer Science, University of British Columbia, Vancouver, BC, Canada Abstract. Chemical reaction Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2012-06-17 22:22:27 Complexity classes True quantified Boolean formula NL Reversible computing PSPACE-complete PP DSPACE IP Computation Theoretical computer science Computational complexity theory Applied mathematics
52	Journal of Artificial Intelligence Research[removed]705 Submitted 05/14; published[removed]The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases Add to Reading List Source URL: www.jair.org Language: English - Date: 2014-12-09 03:01:47 Finite model theory Descriptive complexity Computational complexity theory Automata theory Conjunctive query FO Description logic PSPACE-complete SO Theoretical computer science Applied mathematics Complexity classes
53	Autoreducibility, Mitoticity, and Immunity Christian Glaßer∗, Mitsunori Ogihara†, A. Pavan‡, Alan L. Selman§, Liyu Zhang¶ December 27, 2004 Abstract We show the following results regarding complete sets. Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2004-12-27 11:32:14 Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP PP Polynomial hierarchy PSPACE-complete P versus NP problem Theoretical computer science Computational complexity theory Applied mathematics
54	QIP = PSPACE Rahul Jain∗ Zhengfeng Ji† Sarvagya Upadhyay‡ Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-08-02 21:20:18 Complexity classes Computational complexity theory Mathematical optimization Matrix theory Linear algebra QIP QMA IP Interactive proof system Theoretical computer science Applied mathematics Mathematics
55	Blocking Automata for PSpace DLs Franz Baader1 , Jan Hladik1 , and Rafael Pe˜ naloza2? 1 Theoretical Computer Science, TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Tree automaton Tree PSPACE-complete Tbox Automata theory Theoretical computer science Computer science
56	COMPLEXITY AND COMPLETENESS OF FINDING ANOTHER SOLUTION AND ITS APPLICATION TO PUZZLES Add to Reading List Source URL: www-imai.is.s.u-tokyo.ac.jp Language: English - Date: 2003-05-03 02:38:34 Applied mathematics NP-complete P versus NP problem EXPTIME PSPACE-complete NP P-complete P Reduction Theoretical computer science Computational complexity theory Complexity classes
57	PDF Document Add to Reading List Source URL: www-imai.is.s.u-tokyo.ac.jp Language: English - Date: 2004-07-23 02:07:15 NP-complete problems Complexity classes Logic puzzles NP-complete NP PSPACE-complete One-in-three 3SAT Nonogram Kakuro Theoretical computer science Computational complexity theory Applied mathematics
58	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-01-08 22:00:38 Complexity classes True quantified Boolean formula PSPACE-complete FO NP P NSPACE DSPACE Cook–Levin theorem Theoretical computer science Computational complexity theory Applied mathematics
59	PDF Document Add to Reading List Source URL: theinf1.informatik.uni-jena.de Language: English Puzzle video games Heuristics Linux games Complexity classes Search algorithms PSPACE-complete KAtomic Admissible heuristic Atomix Theoretical computer science Computational complexity theory Mathematics
60	PDF Document Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2008-04-30 11:17:19 Combinatorial game theory Complexity classes PSPACE-complete EXPTIME Generalized geography True quantified Boolean formula Hot game Kayles Impartial game Theoretical computer science Mathematics Computational complexity theory