The link between r-contiguous detectors and k-CNF satisfiability
- Thomas Stibor*
- , Jonathan Timmis
- , Claudia Eckert
*Corresponding author for this work
- Technical University of Darmstadt
- University of York
Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (ISBN)
19
Citations
(Scopus)