Felix Weiß

Available identifiers

zbMath Open weiss.felixWikidataQ102409103 ScholiaQ102409103MaRDI QIDQ2887059

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Felix Weiß