弗洛里安·沃兹（Florian Wörz）理学硕士

我成功地为我的博士论文辩护。

• Beweiskomplexität（vor allem Resolution；hier insbesondere Variable Space）
• Komplexitätstheorie公司
• SAT-解决（hauptsächlich aus theoretischer Sicht），vor allem Querbezüge zur Beweiskomplexität
• 数据科学更改与SAT解决
• 卵石（und die Querbezüge zu Resolution）

• 数学理科硕士（3门课程Talanx-Stipendium公司)
• 赫尔辛基大学Aufenthalt an der University of Helsinki
• 数学理学士
• 都柏林的Praktikum

另请参阅我的dblp页面.

• 关于命题公式求解的复杂性。
  弗洛里安·沃兹。
  博士论文。（即将在Oparu上亮相）
   
• 割平面宽度与图同构反驳的复杂性。
  雅各布·托兰和弗洛里安·沃兹。
  • 接受阿尔盖罗2023年SAT发布和演示。
  • 中的全长会议版本计算复杂性电子座谈会（ECCC），TR23-0632023年5月。(链接)
     
• 理解SLS算法的长时间运行。
  Jan-Hendrik Lorenz和Florian Wörz。
  • ACM实验算法杂志 （ACM JEA）, 27:2022年12月1.14:1-1.14:38。(链接)
  • 中的全长版本arXiv公司：2210.13159[cs.DS]。(链接)
     
• 信息太多：CDCL解决方案需要忘记并执行重启。
  Tom Krüger、Jan-Hendrik Lorenz和Florian Wörz。
  • PLOS ONE系列2022年8月17日（8）(doi:10.1371/journal.pone.0272967)
  • 中的全长版本arXiv公司：2202.01030[cs.AI]。(链接)
     
• 图形识别和GI公式分辨率的变量数。
  雅各布·托兰和弗洛里安·沃兹。
  • ACM计算逻辑事务（ACM TOCL），24（3）：23:1-23:25，2023年4月。(数字对象标识代码：10.1145/3580478)
  • 在第30届EACSL计算机科学逻辑年会（CSL’22）会议记录，第36:1-36:18页，2022年2月。(doi:10.4230/LIPIcs。CSL.2022.36号文件)
  • 中的早期版本计算复杂性电子座谈会（ECCC），TR21-097，2021年7月。(链接)
     
• SLS算法中长尾的证据。
  Florian Wörz和Jan-Hendrik Lorenz。
  • 在第29届欧洲算法年会（ESA’21）会议记录第82:1-82:16页，2021年9月。(doi:10.4230/LIPIcs。《欧洲账户体系》2021.82)
    “最佳学生论文奖”，由欧洲理论计算机科学协会（EATCS）赞助。
  • 中的全长版本arXiv公司：2107.00378[cs.DS]。(链接)
  • 补充材料：
    • 补充数据(doi:10.5281/zenodo.4715893)
    • 统计和视觉评估(doi:10.5281/zenodo.5026180)
       
• “隐藏SATgen”的源代码。
  Jan-Hendrik Lorenz和Florian Wörz。
  GitHub知识库，2021年2月。(链接)
   
• 学习子句对随机局部搜索的影响。
  Jan-Hendrik Lorenz和Florian Wörz。
  • 在第23届满意度测试理论与应用国际会议论文集 （20年SAT），第89-106页，2020年7月。(doi:10.1007/978-3-030-51825-77)
  • 中的早期版本arXiv公司：2005.04022[cs.AI]。(链接)
  • GapSAT的实施和统计测试，2020年2月。(链接)
     
• 可逆卵石博弈及树型空间与一般分辨率空间的关系。
  雅各布·托兰和弗洛里安·沃兹。
  • 计算复杂性，30（1）：2021年5月7日。(doi:10.1007/s00037-021-00206-1)
  • 在第37届计算机科学理论方面研讨会论文集（STACS’20），第60:1-60:18页，2020年3月。(doi:10.4230/LIPIcs。STACS.2020.60标准)
  • 中的完整会议版本计算复杂性电子座谈会（ECCC），TR19-097-R12020年2月。(链接)
  • 中的早期版本计算复杂性电子座谈会（ECCC），TR19-097，2019年7月。
     
• Beweissystem der Resolution中的Zeit-Platz权衡。
  弗洛里安·沃兹。
  乌尔姆大学硕士论文，2018年7月。(pdf格式) 

• 国防博士。乌尔姆，2023年11月。
• 割平面宽度与图同构公式的复杂性。在“SAT”会议上发表的演讲。阿尔盖罗，Juli 2023。(幻灯片)
• 关于命题公式求解的复杂性。演讲是为了介绍我的博士项目。乌尔姆，2022年12月。(幻灯片) (公告)
• 图微分的变量数和图同构公式的解析。在“GI联合会议：计算机科学和演绎系统中的逻辑”上的发言。爱尔兰根-纽伦堡，2022年4月。(幻灯片)
• 图微分的变量数和图同构公式的解析。在“CSL”会议上发表的讲话。哥廷根，2022年2月。(幻灯片)
• 命题解析中的复杂性度量。在人工智能研究所发表的演讲。乌尔姆，2022年2月。(幻灯片)
• SLS算法中长尾线的证据。在“欧空局”会议上发表的讲话。里斯本，2021年9月。最佳学生论文奖。(幻灯片) (海报) (视频)
• 论习得从句对随机局部搜索的影响。在“SAT”会议上发表的演讲。Alghore，Juli 2020年。(幻灯片)
• 可逆卵石博弈及树型空间与一般分辨率空间的关系。在“STACS”上发表演讲。蒙彼利埃，马茨2020年。(幻灯片)
• 可逆卵石博弈及树型空间与一般分辨率空间的关系。作为乌尔姆大学“Komplex”系列节目的一部分进行的演讲。2020年梅兹。(幻灯片)
• 双向卵石。在“SAT与互动”研讨会上的演讲。2020年2月，Wadern的Leibniz-Zentrum für Informatik auf Schloss Dagstuhl。(幻灯片)
• 可逆卵石博弈及树型空间与一般分辨率空间的关系。在“GI计算机科学逻辑会议”上的演讲。2019年10月，耶拿。(幻灯片)

• 可满足性测试（SAT）的理论与应用。撒丁岛阿尔盖罗。2023
• 联合逻辑研讨会：计算机科学和演绎系统中的逻辑。爱尔兰根-纽伦堡，2022年。
• 计算机科学逻辑（CSL）。哥廷根，2022年。
• 欧洲算法研讨会（ESA）。里斯本*，2021年。
• 可饱和性：理论、实践和超越。西蒙斯计算理论研究所，伯克利*。
• 可满足性测试（SAT）的理论与应用。撒丁岛阿尔盖罗*。2020
• 计算机科学理论专题讨论会（STACS）。蒙彼利埃，法兰克雷奇，2020年。
• SAT和交互莱布尼兹·泽特鲁姆·福尔·Informatik，瓦登达格斯图尔宫，2020年。
• 25.贾尔斯塔贡的“Gesellschaft für Informatik公司“-面部轮廓”信息登录“.耶拿，2019年。
• 证明复杂性研讨会，联邦逻辑会议(2018年FLoC). 牛津，2018年。

Gefördert von der Deutschen Forschungsgemeinschaft（DFG）计数器项目430150230：Komplexitätsmaße für die Lösung von aussagenlogischen Formeln公司.

澳大利亚国家税务局的Erfüllbarkits问题是NP vollständige问题的最佳解决方案，也是解决问题的最佳解决方案。在这里，Jahrzehnten waren jedoch einige been druckende Fortschritte In der Entwicklung von Programmen zur Lösung von SAT-Instanzen zu beobachten，wodurch heutzutage reale Anwendungen mit hunterttausenden Variablen gelöst werden können。Wir haben vor，ein besseres Verständnis für diese Lücke zwischen Praxis und Theorye zuerlangen。Dabei fokussieren wir uns darauf，wie mehrere Komplexitätsmaße für die grundlegenden Beweissysteme moderner SAT-Solver（hauptsächlich Resolution）in Schätzungen bezüglich Laufzeit und Suchstrategien von SAT Programmenübersetzt werden können。我们需要权衡zwischen den verschieden Komplexitätsmaßen für Resolution zu untersuchen，als auch ein besseres Verständnisüber Formeln zu erlangen，auf denen SAT-Solver gute Leistungen erzielen。Wir haben auch vor，概率论局部搜索Algorithmen für unerfüllbare Formeln zu entwickeln und die Zusammenhänge zwischen deren Analyse und der Untersuchung von Platzkomplexitätsmaßen fúr Resolution zu erfschen。Wir werden auch die klassische und parametrisierte Komplexität von mehreren Beweiskomplexit-tsfragen unter such。

Als Dozent公司：

• 第20集：Lehrbeauftragter und Dozent fürGrundlagen der Mathematik公司“阿伦大学(脚本) (Vorlesungsaufzeichnungen公司)

阿尔斯·多克托兰德：

• SoSe 22：研讨会和研讨会算法研讨会：Aussagenlogik中的算法'
• SoSe 22：主题研讨会Einführung in die Algorithmik:Aussagenlogik算法研讨会'
• WS 19/20:u bungsleiter für福尔马勒·格兰德拉根'
• WS 19/20：主题研讨会Algorithmik:Algorithysche Zahlentheorie研讨会'
• WS 19/20：主题研讨会Einführung in die Algorithmik:Algorithysche Zahlentheorie研讨会'
• SoSe 19：你是笨蛋氪学：算法和方法'
• SoSe 19：你是笨蛋Berechenbarkeit和Komplexität'
• WS 18/19：研讨会和Betreuung im'课程：Algorithmen zum SAT求解'
• WS 18/19：《笨蛋》分析IIa für Informatiker und Ingenieure'

阿尔斯学生：

• SoSe 18：《福尔死复仇者》（Repetitor für die Vorlesung）分析Iür Informatiker und Ingenieure'
• SoSe 18：导师für die Vorlesung信息学家和工程师分析'
• WS 17/18:Kolloquiumstutor für die Vorlesung分析I'
• SoSe 17：Korrektor für die Vorlesung氪学：算法和方法'
• SoSe 16:Korrektor für die Vorlesung'分析I'
• WS 15/16:《你的笨蛋für die Vorlesung》分析IIa和IIb für信息学家和工程师'
• SoSe 15：导师für die VorlesungGewöhnliche Differentialgleichungen公司'
• SoSe 14：Korrektor für die Vorlesung’Funktitionenthorie公司'
• SoSe 14：Korrektor für die Vorlesung’Gewöhnliche Differentialgleichungen公司'
• WS 13/14：《沃勒松根导师》分析IIa für Informatiker und Ingenieure“母猪”分析IIb für Informatiker und Ingenieure'
• WS 13/14：《旋涡重复》分析Iür Informatiker und Ingenieure'
• SoSe 13：Gruppentutor des’2013年Mathematik培训营'
• SoSe 13：《福尔死的重复》（Repetitor für die Vorlesung）分析Iür Informatiker und Ingenieure'
• SoSe 12：Gruppentutor des’2012年Mathematik培训营'