Thore Kübart

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
SAT solvers have proved to be very efficient in verifying the correctness of automotive product documentations. However, in many applications a car configuration has to be optimized with respect to a given objective function prioritizing the selectable product components. Typical applications include the generation of predictive configurations for(More)
  • 1