Searched refs:Formulas (Results 1 – 4 of 4) sorted by relevance
116 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Formulas, in buildCNF() argument130 for (const Formula *F : Formulas) in buildCNF()160 for (const Formula *F : Formulas) in buildCNF()166 for (const Formula *F : Formulas) in buildCNF()
173 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Formulas,
765 Interpolation Formulas and Mechanical776 Coefficients of Interpolation Formulas1477 Formulas for Bromwich's Integral . . . . 486--4871878 A. H. Stroud Gauss Harmonic Interpolation Formulas 471--4752042 Formulas . . . . . . . . . . . . . . . . 53--56
5435 …title = "Rapid Computation of General Interpolation Formulas and Mechanical Quadrature Rule…5498 …title = "{ACM} Algorithm 416: Rapid Computation of Coefficients of Interpolation Formulas […10999 title = "{ACM} Algorithm 453: {Gaussian} Quadrature Formulas for {Bromwich}'s Integral",14118 title = "{Gauss} Harmonic Interpolation Formulas",15425 …itle = "Connections Between Accuracy and Stability Properties of Linear Multistep Formulas",20140 …arison and the cost of crossing a page boundary in the index structure. Formulas for the retrieval…