Engineering an Efficient PB-XOR Solver.

Jiong Yang Kuldeep S. Meel

Published in: CP (2021)

Keyphrases

artificial intelligence
engineering design
computer science
orders of magnitude
data mining
software engineering
neural network
computer vision
computational intelligence
computationally efficient
computer aided design