1 citations · 1 across the 3 of their papers we have counts for
4 papers
Boolean Function Analogs of Covering Systems
Anthony Zaleski, Doron Zeilberger
Bob Hough recently disproved a long-standing conjecture of Paul Erdős regarding covering systems. Inspired by his seminal paper, we describe analogs of covering systems to Boolean…
Solving satisfiability using inclusion-exclusion
Anthony Zaleski
Using Maple, we implement a SAT solver based on the principle of inclusion-exclusion and the Bonferroni inequalities. Using randomly generated input, we investigate the performance…
Experimental analysis of lattice walks
Anthony Zaleski
Feller's book An Introduction to Probability Theory and Its Application discusses statistics corresponding to sequences of coin tosses, with a dollar being won or lost depending on…
Counting Permutations that Avoid Many Patterns
Yonah Biers-Ariel, Haripriya Chakraborty, John Chiarelli +8
This paper presents a collection of experimental results regarding permutation pattern avoidance, focusing on cases where there are "many" patterns to be avoided.