Combining Algebraic And Enumerative Methods To Solve Maximum Satifiability Problems (bibtex)
by Marcus Poggi
Reference:
Combining Algebraic And Enumerative Methods To Solve Maximum Satifiability Problems (Marcus Poggi), In XXXII TIMS, 1994.
Bibtex Entry:
@InProceedings{poggi_publication-7,
author = {Poggi, Marcus},
title = {Combining Algebraic And Enumerative Methods To Solve Maximum Satifiability Problems},
booktitle = {XXXII TIMS},
year = {1994}
}