Marco Voigt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CADE | On the Combination of the Bernays-Schnfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. | Matthias Horbach, Marco Voigt, Christoph Weidenbach |
| 2017 | LICS | A fine-grained hierarchy of hard problems in the separated fragment. | Marco Voigt |
| 2016 | LICS | Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. | Thomas Sturm, Marco Voigt, Christoph Weidenbach |
| 2013 | CEC | Lower bounds for the runtime of a global multi-objective evolutionary algorithm. | Benjamin Doerr, Bojana Kodric, Marco Voigt |