Search

Your search keyword '"Juedes, David"' showing total 46 results

Search Constraints

Start Over You searched for: Author "Juedes, David" Remove constraint Author: "Juedes, David"
46 results on '"Juedes, David"'

Search Results

1. Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

4. Linear Kernels in Linear Time, or How to Save k Colors in O(n 2) Steps

5. A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs

22. An Optimization Framework for Dynamic, Distributed Real-Time Systems

24. A generic framework for approximation analysis of greedy algorithms for star bicoloring.

28. Franchise 500

31. Set cover-based methods for motif selection.

40. Linear Kernels in Linear Time, or How to Save k Colors in O(n2) Steps.

Catalog

Books, media, physical & digital resources