Publications
Export 1 results:
Author Title [ Type] Year Filters: First Letter Of Title is U and Author is Rollini, S.F. [Clear All Filters]
Using Cross-Entropy for Satisfiability,
, ACM Symposium on Applied Computing (SAC), (2013)
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.