Login / Signup

Identifying Soft Cores in Propositional Formulæ.

Gilles AudemardJean-Marie LagniezMarie MiceliOlivier Roussel
Published in: ICAART (2) (2022)
Keyphrases
  • propositional logic
  • first order logic
  • horn clauses
  • databases
  • genetic algorithm
  • knowledge compilation
  • hard constraints