255 citations
- Los Alamos National LaboratoryUS14 papers
- Massachusetts Institute of TechnologyUS13 papers
- New Mexico State UniversityUS13 papers
- Brookhaven National LaboratoryUS12 papers
- Columbia UniversityUS12 papers
- Fermi National Accelerator LaboratoryUS12 papers
- Kansas State UniversityUS12 papers
- University of ChicagoUS12 papers
- University of CincinnatiUS12 papers
- University of ManchesterGB12 papers
- University of MichiganUS12 papers
- University of PittsburghUS12 papers
4 papers · 1 filter
Improve SAT-solving with Machine Learning
Haoze Wu
In this project, we aimed to improve the runtime of Minisat, a Conflict-Driven Clause Learning (CDCL) solver that solves the Propositional Boolean Satisfiability (SAT) problem. We…
-Foldability of Words
Beth Bjorkman, Garner Cochran, Wei Gao +6
We extend results regarding a combinatorial model introduced by Black, Drellich, and Tymoczko (2017+) which generalizes the folding of the RNA molecule in biology. Consider a word…
Search for excited states in O
M. D. Jones, K. Fossez, T. Baumann +12
Theoretical calculations suggest the presence of low-lying excited states in O. Previous experimental searches by means of proton knockout on F produced no evidence f…
Cutting Planes for Families Implying Frankl's Conjecture
Jonad Pulaj
We find previously unknown families of sets which ensure Frankl's conjecture holds for all families that contain them using an algorithmic framework. The conjecture states that for…