|
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. |
|
|
|