Welcome to the UPF Digital Repository

Browsing Departament de Tecnologies de la Informació i les Comunicacions by Author "Atserias, Albert"

Browsing Departament de Tecnologies de la Informació i les Comunicacions by Author "Atserias, Albert"

Sort by: Order: Results:

  • Atserias, Albert; Dalmau, Víctor (Elsevier, 2008)
    We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context of finite model theory. The characterization ...

Search DSpace


Advanced Search

Browse

My Account

Compliant to Partaking