2 ms·
This is a recent paper I thought was really intriguing using Answer Set Programming for a synthesis problem with some very promising sounding results compared t
by philzook 4y ago
This is a recent paper I thought was really intriguing using Answer Set Programming for a synthesis problem with some very promising sounding results compared to an SMT based approach.
http://www.weaselhat.com/2022/11/07/asp/ http://www.weaselhat.com/2022/11/07/asp/