VIVO
Select a language
English (United States)
English (Canada)
Français (Canada)
Deutsch (Deutschland)
Español
Português (Brasil)
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Hard QBFs for Merge Resolution
Academic Article
Overview
Identity
View All
Overview
publication date
2020
Identity
Digital Object Identifier (DOI)
https://doi.org/10.4230/lipics.fsttcs.2020.12
