PhD_Thesis:博士论文

【文件属性】：
文件名称：PhD_Thesis:博士论文
文件大小：746KB
文件格式：ZIP
更新时间：2021-03-31 11:45:52
TeX 博士论文

【文件预览】：
PhD_Thesis-main
----.gitignore(3KB)
----LICENSE(7KB)
----thesis.pdf(384KB)
----README.md(13B)
----beavtex.cls(23KB)
----include()
--------packages.tex(3KB)
--------acronyms.tex(786B)
----thesis.tex(2KB)
----Chapters()
--------Conclusion()
--------Abstract.tex(3KB)
--------RelatedWork()
--------Background()
--------VPL()
--------Vsmt()
--------CaseStudies()
--------Vsat()
--------Introduction()
----lib()
--------rebuild.sh(732B)
--------cc.sty(3KB)
--------lambda.sty(4KB)
--------thesis.sty(8KB)
--------clean.sh(216B)
----Figures()
--------Vsat_Rules_Accumulation.tex(2KB)
--------Vsmt_Rules_PrimOps.tex(2KB)
--------Vsat_Rules_PrimOps.tex(646B)
--------Background_brute_force_flow.tex(3KB)
--------Vsmt_Plain_models.tex(960B)
--------Vsmt_Syntax.tex(466B)
--------Vsat_Logic_laws.tex(1014B)
--------Vsat_Rules_Evaluation.tex(1KB)
--------Background_bf_vs_incr.tex(518B)
--------Vsat_Logic_semantics.tex(584B)
--------Vsmt_Variational_Model.tex(908B)
--------Vsat_Impl_Solve_Overview.tex(3KB)
--------Vsat_Impl_variational_model.tex(600B)
--------Vsmt_Rules_Accumulation.tex(2KB)
--------Background_incr_flow.tex(4KB)
--------Vsmt_Rules_Choice_Removal.tex(3KB)
--------Vsat_Impl_VCore_Overview.tex(2KB)
--------Vsmt_Rules_Evaluation.tex(3KB)
--------Vsat_Rules_Choice_Removal.tex(2KB)
--------Vsmt_Vpl_Syntax.tex(535B)
--------Vsat_Rules_PrimOpsWrapped.tex(862B)
--------Vsat_Logic_syntax.tex(569B)
--------Vsat_Impl_plain_models.tex(998B)
----bib()
--------jeff.bib(146KB)
--------thomas.bib(456KB)
--------softprodline.bib(242B)
--------martin.bib(51KB)
--------eric.bib(42KB)
--------thomas_deprecated.bib(396KB)
--------paper.bib(7KB)
--------MYabrv.bib(19KB)
--------satsolvers.bib(14KB)