Conference
Authors: | Kaporis A., Kirousis L., Lalas E. |
---|---|
Title: | Selecting complementary pairs of literals |
Conference: | 18th Annual IEEE Symposium on Logic in Computer Science (LICS '03) affiliated Workshop on Typical case complexity and phase transitions |
Editors: | |
Ed: | No |
Eds: | No |
Pages: | |
To appear: | No |
Month: | |
Year: | 2003 |
Place: | Ottawa, Canada |
Pubisher: | |
Link: | |
File name: | |
Abstract: |