Atomic distributions in crystal structures solved by Boolean satisfiability techniques

@article{pub8083,
    author = {

Soeken, Mathias
 and 

Drechsler, Rolf
 and 

Fischer, Reinhard X.
},
    title = {Atomic distributions in crystal structures solved by Boolean satisfiability techniques},
    year = {2015},
    journal = {Zeitschrift für Kristallographie - Crystalline Materials}
}