PSPACE - PDFSEARCH.IO - Document Search Engine

PSPACE
Results: 62

#	Item
31	Proceedings of the 6th Annual North American Conference on AI and Simulation in Games (GAMEON-NA), pp. 5-12, PROCEDURAL GENERATION OF SOKOBAN LEVELS Joshua Taylor and Ian Parberry Dept. of Computer Science & Engin Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-09-22 17:21:08 Application software Windows games Linux games Logic puzzles ZX Spectrum games Sokoban LIT Procedural generation PSPACE-complete Puzzle video games Digital media Games
32	DPI-801B - ARTS OF COMMUNICATION Add to Reading List Source URL: www.hks.harvard.edu Language: English - Date: 2014-09-29 12:51:44
33	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Partial Searchlight Scheduling is Strongly PSPACE-Complete Giovanni Viglietta∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:56 Polygons Euclidean plane geometry 3D computer graphics Simple polygon PSPACE-complete Vertex Hex True quantified Boolean formula Polyhedron Games Geometry Theoretical computer science
34	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-devel.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
35	CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 On the parameterized complexity of a generalized Rush Hour puzzle ∗ H. Fernau† Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-01-08 18:44:31 Puzzles Rush Hour Parameterized complexity PSPACE-complete Polynomial P Games Complexity classes Mechanical puzzles
36	Parameterized Regular Expressions and Their Languages Pablo Barceló1 , Leonid Libkin2 , and Juan L. Reutter2 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:42:30 Applied mathematics Automata theory EXPSPACE Regular language Regular expression Model theory PSPACE-complete FO Symbol Theoretical computer science Formal languages Complexity classes
37	193_PSPACE_Das Super Paper 1-2 ad 2.indd Add to Reading List Source URL: media.dasplatforms.com Language: English - Date: 2014-04-07 00:40:16 Films Films directed by Fritz Lang M
38	REACHABILITY IN TWO-DIMENSIONAL VECTOR ADDITION SYSTEMS WITH STATES IS PSPACE-COMPLETE arXiv:1412.4259v1 [cs.FL] 13 Dec,‡,§ , CHRISTOPH HAASE2,†,§ , Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-04-13 05:39:26 Petri net Reachability FO Applied mathematics Computer science Theoretical computer science Concurrency Diagrams
39	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
40	Appendix 3: AR-DRG Version 8.0 Descriptions Code Long Description Short Description 801A OR Procedures Unrelated to Principal Diagnosis, Major Complexity Add to Reading List Source URL: www.ihpa.gov.au Language: English - Date: 2015-03-29 18:54:42 Complex systems theory Complexity PR RL PSPACE Science Structure Complexity classes Applied mathematics MAJC