vix.ing · top · new · best · stats · spec

Ilya Zakirzyanov

  1. Symmetry Breaking Predicates for SAT-based DFA Identification
    2016/02/16 by Vladimir Ulyantsev, Ulyantsev, Vladimir, Ilya Zakirzyanov +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.AI #cs.FL #cs.LO