@incollection{Bouhmala12,
author = {Noureddine Bouhmala},
title = {A Multilevel Approach Applied to Sat-Encoded Problems},
booktitle = {VLSI Design},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Esteban Tlelo-Cuautle and Sheldon X.-D. Tan},
chapter = {8},
doi = {10.5772/33436},
url = {https://doi.org/10.5772/33436}
}