An Overview of Disjunctive Constraint Satisfaction

A new algorithm is presented for solving disjunctive systems of constraints that determines whether a system is satisfiable and produces the models if the system is Satisfiable.

Abstract

Lung cancer during pregnancy is rare in clinic. For those who repeatedly experience respiratory symptoms during pregnancy, imaging examinations should be performed promptly, and biopsies should be taken if necessary to obtain early diagnosis. Pregnancy with lung cancer carries high risk and has a poor overall prognosis. Platinum-based combination chemotherapy is safe in the second and third trimesters.