Publications
Filter by
Open menu
1 result for
Natasha Sharygina
Using cross-entropy for satisfiability
Hana Chockler
Alexander Ivrii
et al.
2013
SAC 2013