scientific article

zbMath1187.68546MaRDI QIDQ3181641

Robert Weismantel, Utz-Uwe Haus, Klaus Truemper

Publication date: 12 October 2009

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

zbMATH Keywords

2CNF3CNFclosed sumSAT algorithm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Leibniz

This page was built for publication: