1,704 followers
35 followers
92 followers
334 followers
Happy to share our latest work on Answer Set Programming on #GPU. Our algorithm can learn >150 clauses/sec, perform 8E+5 Unit Propagation/sec (7x faster than resolution-like learning) Check it out at the following link https://t.co/NoDv3Ml8FR #AI #autom