New properties of maximum independent set problem solution truncation rules or redundant branches
From MaRDI portal
Publication:2737186
zbMATH Open0970.68106MaRDI QIDQ2737186
Publication date: 11 September 2001
Published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. KyΓ―vs'kyΔ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Graph algorithms (graph-theoretic aspects) (05C85)
Recommendations
- A sufficient condition to extend polynomial results for the maximum independent set problem π π
- On the maximum independent set problem in graphs of bounded maximum degree π π
- A new heuristic algorithm to solve the maximum independent set problem π π
- Extending the MAX algorithm for maximum independent set π π
- Using critical sets to solve the maximum independent set problem π π
- On the Power of Simple Reductions for the Maximum Independent Set Problem π π
- On Reducing Maximum Independent Set to Minimum Satisfiability π π
- Maximum independent set for intervals by divide and conquer with pruning π π
- The structure and maximum number of maximum independent sets in trees π π
- Targeted Branching for the Maximum Independent Set Problem π π
This page was built for publication: New properties of maximum independent set problem solution truncation rules or redundant branches
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2737186)