共 21 条
[1]
Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery
[J].
INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, CPAIOR 2017,
2017, 10335
:104-112
[2]
Ermon S., 2012, Theory and Applications of Satisfiability Testing, P172, DOI DOI 10.1007/978-3-642-31612-8_14
[3]
Ermon S, 2015, AAAI CONF ARTIF INTE, P636
[4]
Gomes CarlaP., 2009, The Bridge, V39, P5