conftrace_
2013 IJCAI IJCAI 2013

Isomorph-Free Branch and Bound Search for Finite State Controllers

🚀 Conference Pioneer - IJCAI 2013