Results 171 to 180 of about 8,826,545 (192)

Revisiting Explicit Enumeration for Exact Synthesis

, 2020
The problem of generating a minimal implementation of a given Boolean function is called exact synthesis. The parameter to be minimized is often the total number of gates used for the implementation.
Görschwin Fey, Gianluca Martino, Heinz Riener   +2 more
exaly   +4 more sources

Exact Enumeration of Satisfiable 2-SAT Formulae [PDF]

Combinatorial Theory, 2023
We obtain exact expressions counting the satisfiable 2-SAT formulae and describe the structure of associated implication digraphs. Our approach is based on generating function manipulations.
Dovgal, Sergey, Ravelomanana, Vlady, de Panafieu, Élie   +2 more
exaly   +2 more sources

Symbolization of Generating Functions; An Application of the Mullin–Rota Theory of Binomial Enumeration

Computers and Mathematics With Applications, 2007
We have found that there are more than a dozen classical generating functions that could be suitably symbolized to yield various symbolic sum formulas by employing the Mullin–Rota theory of binomial enumeration.
Tian-Xiao He, Leetsch C. Hsu, Peter J -S Shiue   +2 more
exaly   +1 more source

Exact Enumeration Approach to Estimate the Theta Temperature of Interacting Self-Avoiding Walks on the Simple Cubic Lattice

Polymers, 2022
Yu-Hsin Hsieh, Chi-Ning Chen
exaly  

Exact Enumeration of Cherries and Pitchforks in Ranked Trees Under the Coalescent Model

Mathematical Biosciences, 2013
Thomas Wiehe
exaly  

Central and Local Limit Theorems Applied to Asymptotic Enumeration IV: Multivariate Generating Functions

Journal of Computational and Applied Mathematics, 1992
Zhicheng Gao, L Bruce Richmond
exaly  

Exact Enumeration of Rooted 3-Connected Triangular Maps on the Projective Plane (Extended Abstract)

Electronic Notes in Discrete Mathematics, 2001
Zhicheng Gao
exaly  

Singularity Analysis of Generating Functions

SIAM Journal on Discrete Mathematics, 1990
Andrew Odlyzko, Philippe Flajolet
exaly