| The Complexity of Valued Constraint Satisfaction |
PDF
|
|
Peter Jeavons, Andrei Krokhin, Stanislav Živný, The Algorithmics Column by Gerhard J Woeginger |
|
| Recent developments in kernelization: A survey |
PDF
|
|
Stefan Kratsch, The Computational Complexity Column by Vikraman Arvind |
|
| Recreational Formal Methods: Designing Vacuum Cleaning Trajectories |
PDF
|
|
Frits Vaandrager, Freek Verbeek, The Concurrency Column by Nobuko Yoshida |
|
| Consistency for Transactional Memory Computing |
PDF
|
|
Dmytro Dziuma, Panagiota Fatourou, Eleni Kanellou, The Distributed Computing Column by Panagiota Fatourou |
|
| News from New Zealand |
PDF
|
|
News from New Zealand by C. S. Calude |
|
| Report on BCTCS 2014 |
PDF
|
|
Paul Bell, Daniel Reidenbach |
|