The following pages link to Dimitris J. Kavvadias (Q294757):
Displayed 22 items.
- Generating all maximal models of a Boolean expression (Q294760) (← links)
- (Q935470) (redirect page) (← links)
- Memoryless search algorithms in a network with faulty advice (Q935471) (← links)
- Nash equilibria in all-optical networks (Q1043952) (← links)
- Probabilistic satisfiability (Q1104751) (← links)
- Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems (Q1351004) (← links)
- A linear programming approach to reasoning about probabilities (Q1356219) (← links)
- Monotone Boolean dualization is in co-NP\([\log^{2}n]\). (Q1853168) (← links)
- Resolution based algorithms for the transversal hypergraph generation problem (Q2310740) (← links)
- On the Generation of SIC Pairs in Optimal Time (Q2982061) (← links)
- An Efficient Algorithm for the Transversal Hypergraph Generation (Q3378517) (← links)
- The Inverse Satisfiability Problem (Q4210141) (← links)
- (Q4362786) (← links)
- (Q4427768) (← links)
- (Q4525710) (← links)
- Algorithm 987 (Q4611304) (← links)
- Locating and Computing Arbitrarily Distributed Zeros (Q4702420) (← links)
- Locating and Computing All the Simple Roots and Extrema of a Function (Q4895605) (← links)
- Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems (Q5096905) (← links)
- Efficiently Computing Many Roots of a Function (Q5693188) (← links)
- The inverse satisfiability problem (Q6184669) (← links)
- Phase-field description of fracture in NiTi single crystals (Q6185239) (← links)