|
Journals in DBLP
- Calogero G. Zarba
Combining Sets with Cardinals. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:1, pp:1-29 [Journal]
- Anja Remshagen, Klaus Truemper
An Effective Algorithm for the Futile Questioning Problem. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:1, pp:31-47 [Journal]
- Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:1, pp:49-72 [Journal]
- Bernard Jurkowiak, Chu Min Li, Gil Utard
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2005, v:34, n:1, pp:73-101 [Journal]
|