The Institute of Theoretical and Applied Mechanics 2 records found  Search took 0.04 seconds. 
1.
robot swarm; autonomous mobile robot; PSPACE-complete; satisfiability problem; satisfiability algorithms
2.
motion planning; NP-complete; satisfiability problem; satisfiability algorithms

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.
Haven't found what you were looking for? Try your search on other servers:
Popov, Vladimir in Amazon
Popov, Vladimir in CERN EDMS
Popov, Vladimir in CERN Indico
Popov, Vladimir in CERN Intranet
Popov, Vladimir in CiteSeer
Popov, Vladimir in Google Books
Popov, Vladimir in Google Scholar
Popov, Vladimir in Google Web
Popov, Vladimir in IEC
Popov, Vladimir in IHS
Popov, Vladimir in INSPEC
Popov, Vladimir in INSPIRE
Popov, Vladimir in ISO
Popov, Vladimir in KISS Books/Journals
Popov, Vladimir in KISS Preprints
Popov, Vladimir in NEBIS
Popov, Vladimir in SLAC Library Catalog
Popov, Vladimir in Scirus