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