Search Space Splitting with Lookahead

From International Center for Computational Logic
Toggle side column

Search Space Splitting with Lookahead

Ahmed IrfanAhmed Irfan
Ahmed Irfan
Search Space Splitting with Lookahead
Technical Report, TU Dresden, volume Technical Report 2012-04, 2012. Technical Report
@techreport{I2012,
  author      = {Ahmed Irfan},
  title       = {Search Space Splitting with Lookahead},
  institution = {TU Dresden},
  year        = {2012}
}