Conference

On Unit-Refutation Complete Formulae with Existentially Quantified Variables

João Paulo Marques da ; Lucas Bordeaux; Pierre Marquis — 2012 — AAAI Press

Key information

Authors:

João Paulo Marques da (João Paulo Marques da Silva); Lucas Bordeaux; Mikolas (Mikolas Janota); Pierre Marquis

Published in

July 2012

Publication details

Authors in the community:

Publisher

AAAI Press

Location of the conference

Rome, Italy

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available