Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

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

Bogdan Aman , Gabriel Ciobanu
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.122-136, ⟨10.1007/978-3-642-30829-1_9⟩
Conference papers hal-01529591v1