MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Counting the Number of Solutions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

200 documents found, showing 1 through 10. Next 10 →

ATOM

Counting the number of solutions - A survey of recent inclusion results in the area of counting
by Jacobo Toran, Departament L. S. I
…Counting the number of solutions A survey of recent inclusion results in the area of counting…
Add To MetaCart

Bayes Networks for Estimating the Number of Solutions to a CSP
by Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky — 1997 — In Proceedings of the 14th National Conference on AI
… studied for a while, and may well provide a good approximation to counting the number of solutions. We use…
Cited by 3 (2 self) – Add To MetaCart

Determining the Number of Solutions to Binary CSP instances
by Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper, Linkopings Universitet, Linkopings Universitet
… Universitet S-581 83 Linkoping, Sweden flinusson,jothag@(email omitted); Abstract. Counting the number of solutions…
Add To MetaCart

Time-Space Tradeoffs for Counting NP Solutions Modulo Integers
by R. Ryan Williams — 2007 — In Proceedings of the 22nd IEEE Conference on Computational Complexity
… the first time-space tradeoffs for counting the number of solutions to an NP problem modulo small integers…
Cited by 5 (3 self) – Add To MetaCart

Memory optimization by counting points in integer transformations of parametric polytopes
by Rachid Seghir — 2006 — In Proceedings of the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea
… in the polyhedral model reduce to solving the following problem: count the number of solutions of a Presburger…
Cited by 1 (0 self) – Add To MetaCart

Counting Exactly and Efficiently on Small Problems
by Ryan Williams — 2002
… for counting the number of solutions to 2-CNF SAT instances is shown to have O(1:2654 n ) O(2 n=2…
Add To MetaCart

A Note on the Random Generation and Counting of Matchings in Dense Graphs.
by J. Diaz, M. Serna, P. Spirakis
… Many problems involving the counting of the number of solutions of combinatorial structures, are well…
Add To MetaCart

Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation
by Lukas Kroc, Ashish Sabharwal, Bart Selman
… technique very similar to one for counting the number of solutions. This cluster counting approach can…
Add To MetaCart

An Excursion From Enumerative Geometry To Solving Systems Of Polynomial Equations With Macaulay 2
by Frank Sottile — 2000 — In Computations in Algebraic Geometry with Macaulay
…. Enumerative Geometry is concerned with counting the number of solutions when the polynomials come from a…
Cited by 4 (0 self) – Add To MetaCart

Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators
by Thomas Fahringer — 1998
… (equalities and inequalities) . This paper describes novel techniques for counting the number of solutions…
Cited by 24 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB