background: cancer registries are important infrastructure for cancer control programs. however most developing countries lack population based cancer registry. in iran there cancer incidence is estimated based on pathology-based cancer registry. in this study we evaluated results of the nationwide pathology-based cancer registry in iran. materials and methods: we compared age-standardized inci...

In this paper, we study linear CNF formulas generalizing linear hypergraphs un-der combinatorial and complexity theoretical aspects w.r.t. SAT. We establish NP-completeness of SAT for the unrestricted linear formula class, and we show the equiv-alence of NP-completeness of restricted uniform linear formula classes w.r.t. SATand the existence of unsatisfiable uniform linear witne...