scientific article; zbMATH DE number 3375418

MaRDI QIDQ5646827zbMATH OpenFDO

Authors

Publication date 1971

zbMATH Keywords

ACMProceedingsShaker HeightsSymposiumTheory of computing

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(6)

• Core influence mechanism on vertex-cover problem through leaf-removal-core breaking
• Faster than classical quantum algorithm for dense formulas of exact satisfiability and occupation problems
• Accelerating a continuous-time analog SAT solver using GPUs
• Graphical representation and hierarchical decomposition mechanism for vertex-cover solution space
• Lower bounds and construction of detecting arrays
• Construction of defining relators for finite groups

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5646827)