|
| This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
| Type of publication: | Inbook |
| Entered by: | chita |
| Title | Random Satisfiability |
| Bibtex cite ID | RACTI-RU1-2009-66 |
| Year published | 2009 |
| Pages | 245-270 |
| Chapter | in the book: Handbook of Satisfiability |
| Publisher | IOS Press 2009 |
| Authors | |
Topics
| |
| BibTeX | BibTeX |
| RIS | RIS |
| Attachments |
|
p01c08_ran.pdf (main file) |
|
| Publication ID | 711 |
|
|
