In mathematics, given a collection of subsets of a set X, an exact cover is a subcollection of such that each element in X is contained in exactlyâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Cristopher Moore
- ArXiv
- 2015

A k-uniform, d-regular instance of Exact Cover is a family of m sets Fn,d,k = {Sj âŠ† {1, . . . , n}}, where each subset has size kâ€¦Â (More)

Is this relevant?

2014

2014

- Matthias Lehmann, Tuan Linh Mai, Bastian Wollschlaeger, Klaus Kabitzsch
- Proceedings of the 2014 IEEE Emerging Technologyâ€¦
- 2014

Networked systems consisting of many different components are gaining more and more importance in human's living environment (e.gâ€¦Â (More)

Is this relevant?

2010

2010

- Andrzej Kapanowski
- ArXiv
- 2010

Python implementation of Algorithm X by Knuth is presented. Algorithm X finds all solutions to the exact cover problem. Theâ€¦Â (More)

Is this relevant?

2010

2010

- Andreas BjÃ¶rklund
- STACS
- 2010

Given a k-uniform hypergraph on n vertices, partitioned in k equal parts such that every hyperedge includes one vertex from eachâ€¦Â (More)

Is this relevant?

2008

2008

- Mihai Oltean, Oana Muntean
- New Generation Computing
- 2008

We suggest a new optical solution for solving the YES/NO version of the Exact Cover problem by using the massive parallelism ofâ€¦Â (More)

Is this relevant?

2008

2008

- Vamsi Kalapala, Cris Moore
- Chicago J. Theor. Comput. Sci.
- 2008

We study EC3, a variant of Exact Cover which is equivalent to Positive 1-in-3 SAT. Random instances of EC3 were recently used asâ€¦Â (More)

Is this relevant?

2004

2003

2003

- Weng-Long Chang, Minyi Guo
- 2003

9 Adleman wrote the first paper in which it is shown that deoxyribonucleic acid (DNA) strands could be employed towardsâ€¦Â (More)

Is this relevant?

1999

1999

- Limor Drori, David Peleg
- ESA
- 1999

This paper considers a number of NP-complete problems, and provides faster algorithms for solving them. The solutions are basedâ€¦Â (More)

Is this relevant?

1998

1998

- Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
- Annals of Mathematics and Artificial Intelligence
- 1998

We present an approach to the automatic construction of decision procedures, via a detailed example in propositional logic. Theâ€¦Â (More)

Is this relevant?