Alexander Heinz

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 2

Top Topics

Weighted Max Sat

Integer Linear Programming

Plan Generation

Top Venues

Publications

Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
Temporal Planning as Refinement-Based Model Checking. ICAPS (2019)
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. CoRR (2016)
Werner Simbürger, Hans-Dieter Wohlmuth, Peter Weger, Alexander Heinz
A monolithic transformer coupled 5-W silicon power amplifier with 59% PAE at 0.9 GHz. IEEE J. Solid State Circuits 34 (12) (1999)