%0 Thesis %1 phd/dnb/Iser20 %A Iser, Markus %D 2020 %K dblp %T Recognition and Exploitation of Gate Structure in SAT Solving.

@phdthesis{phd/dnb/Iser20, added-at = {2021-07-17T00:00:00.000+0200}, author = {Iser, Markus}, biburl = {https://www.bibsonomy.org/bibtex/223a764a26bdd34ec45bf2e5a0eff3aaf/dblp}, ee = {https://d-nb.info/1209199122}, interhash = {994ebb7934ffdb3d5453a4e65356d900}, intrahash = {23a764a26bdd34ec45bf2e5a0eff3aaf}, keywords = {dblp}, school = {Karlsruhe Institute of Technology, Germany}, timestamp = {2024-04-09T08:38:51.000+0200}, title = {Recognition and Exploitation of Gate Structure in SAT Solving.}, year = 2020 }