Sign in

Integration of orthogonal QBF solving techniques.

Sven ReimerFlorian PigorschChristoph SchollBernd Becker
Published in: DATE (2011)
Keyphrases
  • data fusion
  • data integration
  • data sets
  • objective function
  • linear program
  • industrial applications
  • solving problems
  • graph coloring
  • boolean formula