Login / Signup

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories.

Katalin FazekasFahiem BacchusArmin Biere
Published in: IJCAR (2018)
Keyphrases
  • learning algorithm
  • orders of magnitude
  • knowledge base
  • evolutionary algorithm