
Journals in DBLP
 Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
Logic programming with infinite sets. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:309339 [Journal]
 Hubie Chen
The expressive rate of constraints. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:341352 [Journal]
 Gabriel Istrate, Stefan Boettcher, Allon G. Percus
Spines of random constraint satisfaction problems: definition and connection with computational complexity. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:353372 [Journal]
 Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä
Unrestricted vs restricted cut in a tableau method for Boolean circuits. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:373399 [Journal]
 Andrew Lee
Learning via finitely many queries. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:401418 [Journal]
 Haiou Shen, Hantao Zhang
Improving exact algorithms for MAX2SAT. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:419436 [Journal]
