The fourth ACiD Workshop was held from Monday 20 September to Wednesday 22 September 2010.
If you would like to submit a contribution to a Special Issue of the Journal of Discrete Algorithms dedicated to ACiD 2010, please read the Call for Papers. Contributions from anyone with an interest in the themes of the workshop are welcome. The deadline for submission is 1 December 2010.
Invited Talks were given by:
- Rahul Santhanam
(University of Edinburgh)
Beating Brute Force Search for Formula Satisfiability and QBF Validity
- Iain Stewart
- Matthew Johnson
- Daniel Paulusma
We gratefully acknowledge financial support received from the London Mathematical Society.