scientific article

zbMath0990.90539MaRDI QIDQ2741541

Cèsar Fernández, Felip Manyà, Alba Cabiscol, Ramón Béjar, Carla P. Gomes

Publication date: 24 September 2001

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

zbMATH Keywords

Boolean SATregular-SAT

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

This page was built for publication: