The following pages link to Alexander Fuchs (Q1006732):
Displayed 10 items.
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Almost regular triangulations of trimmend NURBS-solids (Q1606591) (← links)
- Ground interpolation for the theory of equality (Q2881073) (← links)
- Lifted Evaluation of mp-MIQP Solutions (Q2982483) (← links)
- Ground Interpolation for the Theory of Equality (Q3617772) (← links)
- (Q4398044) (← links)
- Lemma Learning in the Model Evolution Calculus (Q5387921) (← links)
- (LIA) - Model Evolution with Linear Integer Arithmetic Constraints (Q5505559) (← links)
- Efficient evaluation of mp-MIQP solutions using lifting (Q6246584) (← links)
- Polyhedral Computation Based Transfer Capacities in Multi-Area Power Systems (Q6267011) (← links)