2 Artículos

The Efficiency of Resolution and Davis--Putnam Procedures

Solicitud

usuarios registrados

Paul Beame; Richard Karp; Toniann Pitassi; Michael Saks Pág. 1048 - 1075

Revista: SIAM JOURNAL ON COMPUTING Formato: Impreso

Tabla de contenido: Vol: 31 Num: 4 Par: 0 Año: 2002

« Anterior Página: 1 de 1 Siguiente »