Journals in DBLP

Ann. Math. Artif. Intell.
2005, volume: 44, number: 4

1. 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:309-339 [Journal]
   
2. Hubie Chen
   The expressive rate of constraints. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:341-352 [Journal]
   
3. 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:353-372 [Journal]
   
4. 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:373-399 [Journal]
   
5. Andrew Lee
   Learning via finitely many queries. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:401-418 [Journal]
   
6. Haiou Shen, Hantao Zhang
   Improving exact algorithms for MAX-2-SAT. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:419-436 [Journal]