|
| This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
| Firstname: | Ph. |
| Surname: | Kolaitis |
| Email: | |
| Institute: | |
| Homepage: | |
| Is RU1 member: | NO |
|
|
|
| [RACTI-RU1-2004-4] Kirousis, Lefteris and Kolaitis, Ph., A dichotomy in the complexity of propositional cir-
cumscription, in: Theory of Computing Systems, volume 37, number 6, pages 695-715, 2004. |
|
|
| [RACTI-RU1-2003-1] Kirousis, Lefteris and Kolaitis, Ph., The complexity of minimal satisfiability problems, in: Information and Computation, volume 187, pages 20-39, 2003. |
|
|
|
