Vadim Ryvchin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

1 Vadim Ryvchin, Ofer Strichman: Local Restarts. SAT 2008: 271-276

Coauthor Index

1 Ofer Strichman [1]

Copyright © Mon Dec 21 17:44:35 2009 by Michael Ley (ley@uni-trier.de)