András Salamon
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My current interests include:- Tractability of constraint satisfaction problems and problems defined by fragments of second-order logic.
- Natural parameterisations of Ladner languages.
- Efficient algorithms to find independent sets, for various classes of graphs.
- Applications of constraint techniques in finance.
Biography
I am a member of the Constraints Research Group, working on a DPhil under the supervision of Peter Jeavons on transformations of representation in constraint satisfaction. This area features interaction between techniques from graph theory, finite model theory, and descriptive complexity, applied to the theory of constraint satisfaction problems which do not have a fixed signature.Links
Constraints blog
Personal research page (including slides of talks presented)
Selected Publications
| Performance loss between concept and keyboard András Z. Salamon and Vashti Galpin EC2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly. July, 2010. Details | BibTeX | Link (pdf) |
| Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination Martin C. Cooper‚ Peter G. Jeavons and András Z. Salamon In Artificial Intelligence. Vol. 174. No. 9–10. Pages 570–584. 2010. Details | BibTeX | Link (pdf) | DOI (10.1016/j.artint.2010.03.002) |
| Bounds on series−parallel slowdown András Z. Salamon and Vashti Galpin arXiv:0904.4512. 2009. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
