Skip to content

Knowledge Compilation Using Theory Prime Implicates.

Pierre Marquis

VenueA*IJCAI
Year1995
ProceedingsIJCAI (1)

Browse the full IJCAI paper archive.