Learning-theoretic perspectives of acceptable numberings Ganesh R. BaligaAnil M. Shende OriginalPaper Pages: 177 - 187
Intelligent backtracking in CLP(ℜ) Jennifer J. BurgSheau-Dong LangCharles E. Hughes OriginalPaper Pages: 189 - 211
A modal contrastive logic: The logic of ‘but’ J. -J. Ch. MeyerW. van der Hoek OriginalPaper Pages: 291 - 313
A BDD SAT solver for satisfiability testing: An industrial case study Ruchir PuriJun Gu OriginalPaper Pages: 315 - 337
Hierarchies of polynomially solvable satisfiability problems Daniele Pretolani OriginalPaper Pages: 339 - 357
A cost effective question-asking strategy for Horn clause systems Jinchang WangEvangelos Triantaphyllou OriginalPaper Pages: 359 - 379
A fast parallel SAT-solver — efficient workload balancing Max BöhmEwald Speckenmeyer OriginalPaper Pages: 381 - 400