research
∙
12/03/2021
An Impossible Asylum
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Ta...
share
research
∙
12/23/2020
Avoiding Monochromatic Rectangles Using Shift Patterns
Ramsey Theory deals with avoiding certain patterns. When constructing an...
research
∙
11/22/2019
Constructing Minimal Perfect Hash Functions Using SAT Technology
Minimal perfect hash functions (MPHFs) are used to provide efficient acc...
research
∙
10/09/2019
The Resolution of Keller's Conjecture
We consider two graphs, G_7,3 and G_7,4, related to Keller's conjecture ...
research
∙
02/18/2014
Symbiosis of Search and Heuristics for Random 3-SAT
When combined properly, search techniques can reveal the full potential ...
research
∙
02/18/2014
Towards Ultra Rapid Restarts
We observe a trend regarding restart strategies used in SAT solvers. A f...
research
∙
11/23/2010
Covered Clause Elimination
Generalizing the novel clause elimination procedures developed in [M. He...
research
∙
04/15/2010