scientific article
From MaRDI portal
Publication:3783625
zbMath0642.68155MaRDI QIDQ3783625
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Planar graphs; geometric and topological aspects of graph theory (05C10) Algorithms in computer science (68W99)
Related Items
On the termination of clause graph resolution ⋮ A new reduction rule for the connection graph proof procedure ⋮ Reduction rules for resolution-based systems ⋮ Generating relevant models
