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