@book{a001fc4cc2364b9fa8988264a4791036,
title = "CLab 1.0 User Manual",
abstract = "This document describes version 1.0 of CLab: a C++ library for fast backtrack-free and complete interactive product configuration using binary decision diagrams.",
keywords = "CLab, C++ library, binary decision diagrams, product configuration, backtrack-free algorithms",
author = "Jensen, {Rune M{\o}ller}",
year = "2004",
language = "English",
isbn = " 877940689",
volume = "TR-2004-46",
publisher = "IT University of Copenhagen",
}