Benvinguts al Repositori Digital de la UPF

Visualitza Departament de Tecnologies de la Informació i les Comunicacions per matèria "3-CNF formula"

Visualitza Departament de Tecnologies de la Informació i les Comunicacions per matèria "3-CNF formula"

Ordena per: Ordre: Resultats:

  • 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 ...