Noah Bayless

According to our database, Noah Bayless authored at least 1 paper in 2015.

Collaborative distances:

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

2015

SAT Modulo Monotonic Theories.

Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015