COMBINATORIC OF MINIMALLY UNSATISFIABLE CLAUSE-SETS

预期的博士课题的基础，低复杂度的最小不满意公式的研究，已经建立。第一个结果将于3月份提交给SAT 2017（该领域的主要会议），是对MU(2)特征的新证明。此外，第一篇期刊投稿应该以此为基础，其中将包括更多关于MU(1)的材料。所以我对自己的进步感到高兴，我有信心能顺利完成博士学位。

The basics of the anticipated PhD topic, the study of minimally unsatisfiable formulas (MUs) of low complexity,have been established. A first result, to be submitted to SAT 2017 (the main conference of the field) in March,is a new proof of the MU(2)-characterisation.Also a first journal submission should come out of this, which will include more material on MU(1).So I am happy with the progress, and I am confident that the PhD will be successfully completed.