SMT-Aided Combinatorial Materials Discovery.

Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover

Browse the full SAT paper archive.