203 citations · 391 across the 22 of their papers we have counts for
3 papers · 1 filter
Avoiding Monochromatic Rectangles Using Shift Patterns
Zhenjun Liu, Leroy Chew, Marijn Heule
Ramsey Theory deals with avoiding certain patterns. When constructing an instance that avoids one pattern, it is observed that other patterns emerge. For example, repetition emerge…
Tighter Bounds on Directed Ramsey Number R(7)
David Neiman, John Mackey, Marijn Heule
Tournaments are orientations of the complete graph, and the directed Ramsey number is the minimum number of vertices a tournament must have to be guaranteed to contain a tra…
Modeling Techniques for Logic Locking
Joseph Sweeney, Marijn J. H. Heule, Lawrence Pileggi
Logic locking is a method to prevent intellectual property (IP) piracy. However, under a reasonable attack model, SAT-based methods have proven to be powerful in obtaining the secr…