Patty Jablonski

According to our database, Patty Jablonski authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Encoding First Order Proofs in SAT.

Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor

Proceedings of the Automated Deduction, 2007