%0 Thesis %1 phd/dnb/Nguyen14 %A Nguyen, Thanh-Hung %D 2014 %K dblp %T Combinations of Boolean Gröbner Bases and SAT Solvers.

@phdthesis{phd/dnb/Nguyen14, added-at = {2023-03-21T00:00:00.000+0100}, author = {Nguyen, Thanh-Hung}, biburl = {https://www.bibsonomy.org/bibtex/2cadf734be62f8c4dbb40ac5992474911/dblp}, ee = {https://d-nb.info/1064306241}, interhash = {3821eed04fc4cea4656277a6c43881b9}, intrahash = {cadf734be62f8c4dbb40ac5992474911}, keywords = {dblp}, school = {University of Kaiserslautern}, timestamp = {2024-04-09T08:17:43.000+0200}, title = {Combinations of Boolean Gröbner Bases and SAT Solvers.}, year = 2014 }