Felix Weiss

Available identifiers

zbMath Open weiss.felixWikidataQ102409103 ScholiaQ102409103MaRDI QIDQ2887059

List of research outcomes

Publication	Date of Publication	Type
The sparse(st) optimization problem: reformulations, optimality, stationarity, and numerical results	2025-01-20	Paper
An Exact Penalty Approach for General $ \ell_0 $-Sparse Optimization Problems	2023-12-25	Paper
The Sparse(st) Optimization Problem: Reformulations, Optimality, Stationarity, and Numerical Results	2022-10-18	Paper
Intuitionistic implication makes model checking hard	2012-05-16	Paper
The model checking problem for propositional intuitionistic logic with one variable is AC 1 -complete	2012-01-23	Paper
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions	2010-08-31	Paper

Research outcomes over time

This page was built for person: Felix Weiss