889 followers
論文の Table 1 に載っていた、いくつかの問題 Large では 8 分らしい https://t.co/JZWrcVxKtT
論文の Table 1 に載っていた、いくつかの問題 Large では 8 分らしい https://t.co/JZWrcVxKtT
@notogawa これ?文字制限著者名書けず PADL'15 "Declaratively solving Google Code Jam problems with Picat" https://t.co/vOBC24n3qY https://t.co/p9MQLwsaop
Declaratively Solving Google Code Jam Problems with Picat http://t.co/2I8aTfHd5w #springerlink
In Portland. Presenting paper http://t.co/xsGctq8xCt about Picat and @googlecodejam at http://t.co/jlL4o88E9H tomorrow.