Logic, Optimization and Robotics(LOR)
2021 SGR 00981
IBM Research – Thomas J. Watson Research Center
Yorktown Heights, Estados UnidosPublications en collaboration avec des chercheurs de IBM Research – Thomas J. Watson Research Center (1)
2016
-
MaxSAT by improved instance-specific algorithm configuration
Artificial Intelligence, Vol. 235, pp. 26-39