Publikation

Atomic distributions in crystal structures solved by Boolean satisfiability techniques

Mathias Soeken; Rolf Drechsler; Reinhard X. Fischer

In: Zeitschrift für Kristallographie - Crystalline Materials, 2015.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence