Andreas Niskanen

From MaRDI portal
Person:2124465

Available identifiers

zbMath Open niskanen.andreasMaRDI QIDQ2124465

List of research outcomes





PublicationDate of PublicationType
MaxSAT-based bi-objective Boolean optimization2024-07-12Paper
Incremental maximum satisfiability2024-07-12Paper
Computing MUS-based inconsistency measures2024-05-29Paper
ICCMA 2023: Benchmarks and raw results2023-09-15Dataset
Computing smallest MUSes of quantified Boolean formulas2023-04-04Paper
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving2022-04-11Paper
Acceptance in incomplete argumentation frameworks2021-11-02Paper
Strong Refinements for Hard Problems in Argumentation Dynamics2021-07-06Paper
Preprocessing argumentation frameworks via replacement patterns2020-02-18Paper
https://portal.mardi4nfdi.de/entity/Q52156852020-02-12Paper
Synthesizing Argumentation Frameworks from Examples2019-11-26Paper
Synthesizing Argumentation Frameworks from Examples2018-07-12Paper
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation2017-10-24Paper
Pakota: A System for Enforcement in Abstract Argumentation2016-11-30Paper

Research outcomes over time

This page was built for person: Andreas Niskanen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2124465&oldid=6831613"
Powered by MediaWiki