Dimitris J. Kavvadias

Available identifiers

zbMath Open kavvadias.dimitris-jMaRDI QIDQ294757

List of research outcomes

Publication	Date of Publication	Type
A semantic view of the switching lemma	2024-10-31	Paper
The inverse satisfiability problem	2024-01-29	Paper
Phase-field description of fracture in NiTi single crystals	2024-01-29	Paper
Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems	2022-08-18	Paper
Resolution based algorithms for the transversal hypergraph generation problem	2020-04-06	Paper
Algorithm 987	2019-01-18	Paper
On the Generation of SIC Pairs in Optimal Time	2017-05-16	Paper
Generating all maximal models of a Boolean expression	2016-06-16	Paper
Nash equilibria in all-optical networks	2009-12-10	Paper
Memoryless search algorithms in a network with faulty advice	2008-08-06	Paper
An Efficient Algorithm for the Transversal Hypergraph Generation	2006-04-03	Paper
Efficiently Computing Many Roots of a Function	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4427768	2003-09-22	Paper
Monotone Boolean dualization is in co-NP\([\log^{2}n]\).	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4525710	2001-01-24	Paper
Locating and Computing Arbitrarily Distributed Zeros	1999-11-24	Paper
The Inverse Satisfiability Problem	1998-09-21	Paper
A linear programming approach to reasoning about probabilities	1997-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4362786	1997-11-13	Paper
Locating and Computing All the Simple Roots and Extrema of a Function	1997-05-25	Paper
Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems	1997-02-27	Paper
Probabilistic satisfiability	1988-01-01	Paper

Research outcomes over time

This page was built for person: Dimitris J. Kavvadias