dblp.uni-trier.dewww.uni-trier.de

Shai Haim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
2EEShai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime CoRR abs/0903.0695: (2009)
2008
1EEShai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. SAT 2008: 133-138

Coauthor Index

1Toby Walsh [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)