Where were the publications 'New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat' and 'SEVGuard: Protecting User Mode Applications Using Secure Encrypted Virtualization' published?
Mention the venues in which 'New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat' and 'SEVGuard: Protecting User Mode Applications Using Secure Encrypted Virtualization' were published.
SELECT DISTINCT ?answer WHERE { { <https://dblp.org/rec/conf/icaart/Heras10> <https://dblp.org/rdf/schema#publishedIn> ?answer } UNION { <https://dblp.org/rec/conf/securecomm/PalutkeNG19> <https://dblp.org/rdf/schema#publishedIn> ?answer } }
<https://dblp.org/rec/conf/icaart/Heras10> <https://dblp.org/rec/conf/securecomm/PalutkeNG19>