scientific article

zbMath0979.68089MaRDI QIDQ2751041

José T. de Sousa, Miron Abramovici

Publication date: 21 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SAT solvervirtual logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: