Xaviera Steele

According to our database, Xaviera Steele authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Determinism in the Certification of UNSAT Proofs.

Tomer Libal, Xaviera Steele

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017