Journals in DBLP

Ann. Math. Artif. Intell.
2003, volume: 37, number: 3

1. Alasdair Urquhart
   Resolution Proofs of Matching Principles. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2003, v:37, n:3, pp:241-250 [Journal]
   
2. Emmanuel Benoist, Jean-Jacques Hébrard
   Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2003, v:37, n:3, pp:251-272 [Journal]
   
3. Hans van Maaren, Joost P. Warners
   Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2003, v:37, n:3, pp:273-283 [Journal]
   
4. Etienne de Klerk, Hans van Maaren
   On Semidefinite Programming Relaxations of (2+p)-SAT. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2003, v:37, n:3, pp:285-305 [Journal]
   
5. Inês Lynce, João P. Marques Silva
   An Overview of Backtrack Search Satisfiability Algorithms. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2003, v:37, n:3, pp:307-326 [Journal]