We use the notion of boundary points to study resolution proofs. Given a CNF formula F , an l(x)-boundary point is a complete assignment falsifying only clauses of F having the same literal l(x) of variable x. An l(x)-boundary point p mandates a resolution on variable x. Adding the resolvent of this resolution to F eliminates p as an l(x)-boundary point. Any resolution proof has to eventually e...

In this paper we study the Martin boundary of open sets with respect to a large class of purely discontinuous symmetric Lévy processes in R. We show that, if D ⊂ R is an open set which is κ-fat at a boundary point Q ∈ ∂D, then there is exactly one Martin boundary point associated with Q and this Martin boundary point is minimal. AMS 2010 Mathematics Subject Classification: Primary 60J50, 31C40;...

in this manuscript, we study the inverse problem for non self-adjoint sturm--liouville operator $-d^2+q$ with eigenparameter dependent boundary and discontinuity conditions inside a finite closed interval. by defining  a new hilbert space and  using its spectral data of a kind, it is shown that the potential function can be uniquely determined by part of a set of values of eigenfunctions at som...

‎In the present analysis‎, ‎we study the boundary layer flow of an incompressible viscous fluid near the two-dimensional stagnation-point flow over a stretching surface‎. ‎The effects of variable thickness and radiation are also taken into account and assumed that the sheet is non-flat‎. ‎Using suitable transformations‎, ‎the governing partial differential equations are first converted to ordin...