2 ms·
There's a workshop exploring that: http://www.sc-square.org/CSA/welcome.html http://www.sc-square.org/CSA/welcome.html . They're trying to bridge cas and smt.
by c-cube 3y ago
There's a workshop exploring that: http://www.sc-square.org/CSA/welcome.html http://www.sc-square.org/CSA/welcome.html . They're trying to bridge cas and smt.