Short Presentation: Lazy Structure Preserving Translation of Boolean Expressions into CNF (at LICS 2004)
Authors: R. VillemaireAbstract
No Abstract Available
BibTeX
@InProceedings{Villemaire-LazyStructurePreser, author = {R. Villemaire}, title = {Lazy Structure Preserving Translation of Boolean Expressions into CNF}, booktitle = {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004}, year = 2004, editor = {Harald Ganzinger}, month = {July}, location = {Turku, Finland}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }