4 Artículos

Efficient Algorithms for Description Problems over Finite Totally Ordered Domains

Solicitud

usuarios registrados

Ángel J. Gil, Miki Hermann, Gernot Salzer, and Bruno Zanuttini Pág. 922 - 945

Revista: SIAM JOURNAL ON COMPUTING Formato: Impreso

Tabla de contenido: Vol: 38 Num: 3 Par: 0 Año: 2008

A Complete Classification of the Complexity of Propositional Abduction

Solicitud

usuarios registrados

Nadia Creignou and Bruno Zanuttini Pág. 207 - 229

Revista: SIAM JOURNAL ON COMPUTING Formato: Impreso

Tabla de contenido: Vol: 36 Num: 1 Par: 0 Año: 2006

« Anterior Página: 1 de 1 Siguiente »