Dave Sexton

According to our database, Dave Sexton authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Improved bounds on the size of the smallest representation of relation algebra 32₆₅ with the aid of a SAT solver.

Jeremy F. Alm, Saeed Moazami, Jorge Montero-Vallejo, Linda Pham, Dave Sexton, Xiaonan Xu

CoRR, 2019