Person:911786

Available identifiers

zbMath Open sideri.marthaMaRDI QIDQ911786

List of research outcomes

Publication	Date of Publication	Type
The inverse satisfiability problem	2024-01-29	Paper
Generating all maximal models of a Boolean expression	2016-06-16	Paper
The Web Graph as an Equilibrium	2015-11-04	Paper
Optimal coteries	2015-06-19	Paper
On the complexity of reconfiguration problems	2011-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3579456	2010-08-06	Paper
On the Complexity of Reconfiguration Problems	2009-01-29	Paper
Fixed-parameter complexity in AI and nonmonotonic reasoning	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4955325	2000-07-24	Paper
On the Floyd–Warshall algorithm for logic programs	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4268444	1999-10-31	Paper
The Inverse Satisfiability Problem	1998-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4386975	1998-05-13	Paper
The bisection width of grid graphs	1996-03-18	Paper
Default theories that always have extensions	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q3138918	1994-09-20	Paper
Designing secure communication protocols from trust specifications	1994-06-16	Paper
On the Optimal Bisection of a Polygon	1993-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4027187	1993-02-21	Paper
On attribute grammars without attribute synthesis	1990-01-01	Paper
Short Notes: Semantically Driven Parsing of Context-free Languages	1989-01-01	Paper
Complexity characterizations of attribute grammar languages	1988-01-01	Paper

Research outcomes over time

This page was built for person: Martha Sideris