Marco Voigt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2021

* First-Order Fragments of Linear Rational Arithmetic with Uninterpreted PredicatesMarco Voigt. JAR, 65(3):357-423, 2021. [doi]

2019

On the Expressivity and Applicability of Model Representation FormalismsAndreas Teucke, Marco Voigt, Christoph Weidenbach. frocos 2019: 22-39 [doi]

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicatesMarco Voigt. PhD thesis, Saarland University, Saarbrücken, Germany, 2019. [doi]

2017

On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer ArithmeticMatthias Horbach, Marco Voigt, Christoph Weidenbach. cade 2017: 77-94 [doi]

A fine-grained hierarchy of hard problems in the separated fragmentMarco Voigt. lics 2017: 1-12 [doi]

The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is DecidableMarco Voigt. frocos 2017: 244-261 [doi]

Towards Elimination of Second-Order Quantifiers in the Separated FragmentMarco Voigt. soqe 2017: 67-81 [doi]

2016

Deciding First-Order Satisfiability when Universal and Existential Variables are SeparatedThomas Sturm 0001, Marco Voigt, Christoph Weidenbach. lics 2016: 86-95 [doi]

2013

Lower bounds for the runtime of a global multi-objective evolutionary algorithmBenjamin Doerr, Bojana Kodric, Marco Voigt. cec 2013: 432-439 [doi]

Sign in or sign up to see more results.

runs on WebDSL