Login / Signup

Truthful Unification Framework for Packing Integer Programs with Choices.

Yossi AzarIftah Gamzu
Published in: ICALP (1) (2008)
Keyphrases
  • integer program
  • main contribution
  • higher order
  • search algorithm
  • worst case
  • theorem proving