scientific article

zbMath0979.68049MaRDI QIDQ2749853

Nuno Crato, Henry A. Kautz, Bart Selman, Carla P. Gomes

Publication date: 21 October 2001

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

zbMATH Keywords

constraint satisfactionpropositional satisfiability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items

Unnamed Item