Inproceedings,

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.

, and .
COORDINATION, volume 7274 of Lecture Notes in Computer Science, page 122-136. Springer, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews