Filter your results
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Regular Random k-SAT: Properties of Balanced FormulasJournal of Automated Reasoning, 2005, 35 (1-3), pp.181 - 200. ⟨10.1007/s10817-005-9012-z⟩
Journal articles
hal-00159618v1
|
||
Modeling HIV Epidemic Under Contact Tracing-The Cuban CaseJournal of Theoretical Medicine, 2000, 2, pp.267-274
Journal articles
hal-00263924v1
|