A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear equations followed by clausification. Schemes for introducing nonlinearity to the instances are developed, making the instances suitable for benchmarking solvers with equivalence reasoning techniques. An extensive expe...

in this article, a numerical method based on  improvement of block-pulse functions (ibpfs) is discussed for solving the system of linear volterra and fredholm integral equations. by using ibpfs and their operational matrix of integration, such systems can be reduced to a linear system of algebraic equations. an efficient error estimation and associated theorems for the proposed method are also ...

this paper presents a comparison between variational iteration method (vim) and modfied variational iteration method (mvim) for approximate solution a system of volterra integral equation of the first kind. we convert a system of volterra integral equations to a system of volterra integro-di®erential equations that use vim and mvim to approximate solution of this system and hence obtain an appr...

g. darbo [rend. sem. math. univ. padova, 24 (1955) 84--92] used the measure of noncompactness to investigate operators whose properties can be characterized as being intermediate between those of contraction and compact operators. in this paper, we apply the darbo's fixed point theorem for solving infinite system of linear equations in some sequence spaces.

degenerate kernel approximation method is generalized to solve hammerstein system of fredholm integral equations of the second kind. this method approximates the system of integral equations by constructing degenerate kernel approximations and then the problem is reduced to the solution of a system of algebraic equations. convergence analysis is investigated and on some test problems, the propo...

in this paper, the variational iteration method for solving nth-order fuzzy integro differential equations (nth-fide) is proposed. in fact the problem is changed to the system of ordinary fuzzy integro-differential equations and then fuzzy solution of nth-fide is obtained. some examples show the efficiency of the proposed method.