Willem-Jan Hoeve

From MaRDI portal
Person:5741468



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
BDD-guided clause generation
Integration of AI and OR Techniques in Constraint Programming
2016-07-25Paper


Research outcomes over time


This page was built for person: Willem-Jan Hoeve