Solving the Boolean Formula Feasibility Problem for Determining the Connectivity of a Discrete Crack Network

摘要

A method for determining a connectivity of at least one fracture to other fractures in an earth formation includes: obtaining connectivity information for each fracture of interest in the earth formation where the connectivity information for each fracture of interest includes connections with other fractures. The method further includes converting the connectivity information for each fracture of interest into a conjunctive normal form and determining the connectivity of the at least one fracture to other fractures by solving the connectivity information for each fracture of interest in the conjunctive normal form using a Boolean Satisfiability problem solver.