Searching for "Non-Deterministic Algorithms." – sorted by Relevance.
295 documents found, showing 1 through 10.
Next 10 →
-
Deterministic versus Non-Deterministic Placement Algorithms for Automatic Layout Synthesis Tools
- …Deterministic versus Non-Deterministic Placement Algorithms for Automatic Layout Synthesis Tools 1…
- Add To MetaCart
-
An Hierarchy of Terminating Algorithms With Semantic Interpretation Termination Proofs
- …-Yves.Marion@(email omitted);. Abstract. We study deterministic (non-deterministic) algorithms de- ne by mean of con uent (resp. non…
- Cited by 1 (1 self) – Add To MetaCart
-
Structural Cut Elimination in Linear Logic
- … non-deterministic algorithm for cut elimination which is amenable to an elegant implementation in Elf…
- Cited by 30 (13 self) – Add To MetaCart
-
Algorithms With Polynomial Interpretation Termination Proof
- … of deterministic (resp. non-deterministic) algorithms dened by con uent (resp. non-con uent) rewrite systems over…
- Cited by 2 (1 self) – Add To MetaCart
-
Using the Groebner basis algorithm to find proofs of unsatisfiability
- …@(email omitted); Abstract A propositional proof system can be viewed as a non-deterministic algorithm for the (co…
- Cited by 76 (8 self) – Add To MetaCart
-
Derivation of Algorithms for Cutwidth and Related Graph Layout Parameters
- … modication of a trivial hypothetical non-deterministic algorithm. The methodology is applied to rederive…
- Cited by 3 (0 self) – Add To MetaCart
-
Gröbner Proof System
- …. The traditional resolution proof system for Unsatisability is a non-deterministic algorithm which searches…
- Add To MetaCart
-
The Impact of Adversarial Knowledge on Adversarial Planning in Perimeter Patrol ABSTRACT
- … minimal probability of being detected. They prove that a non-deterministic algorithm is advantageous…
- Add To MetaCart
-
Inverting Implication
- … and correctness results are proved for a non-deterministic algorithms which constructs nth roots of clauses…
- Cited by 27 (2 self) – Add To MetaCart
-
IDEAs Based On The Normal Kernels Probability Density Function
- … approaches to optimization are stochastic and non{deterministic algorithms that attempt to use certain…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
