3-Col problem modelling using simple kernel P systems
From MaRDI portal
Recommendations
- Alternative representations of P systems solutions to the graph colouring problem
- Solving the 3-COL problem by using tissue P systems without environment and proteins on cells
- A kernel P systems survey
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time
- A linear-time tissue P system based solution for the 3-coloring problem
Cites work
- A rewriting logic framework for operational semantics of membrane systems
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time
- Computing with membranes
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Formal verification of P systems with active membranes through model checking
- Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers
- Membrane computing. 12th international conference, CMC 2011, Fontainebleau, France, August 23--26, 2011. Revised selected papers
- Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28--31, 2008. Revised selected and invited papers
- Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
- Test generation from P systems using model checking
Cited in
(18)- Kernel P systems modelling, testing and verification -- sorting case study
- A kernel P systems survey
- Dendrite P systems
- Spiking neural P systems: matrix representation and formal verification
- Accelerated execution of P systems with active membranes to solve the N-queens problem
- Kernel P systems: from modelling to verification and testing
- A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time
- Towards automated deduction in cP systems
- Probabilistic Guarded P Systems, A New Formal Modelling Framework
- Formal verification of cP systems using Coq
- Small universal numerical P systems with thresholds for computing functions
- Formal verification of cP systems using PAT3 and ProB
- A linear-time tissue P system based solution for the 3-coloring problem
- P system as a computing tool for embedded feature selection and classification method for microarray cancer data
- A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division
- Solving the 3-COL problem by using tissue P systems without environment and proteins on cells
- A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time
- Alternative representations of P systems solutions to the graph colouring problem
This page was built for publication: 3-Col problem modelling using simple kernel P systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852135)
