Pages that link to "Item:Q5379885"
From MaRDI portal
The following pages link to The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems (Q5379885):
Displaying 9 items.
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Time-free solution to Hamilton path problems using P systems with \(d\)-division (Q1791419) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Solving a PSPACE-complete problem with cP systems (Q1982985) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Alternative representations of P systems solutions to the graph colouring problem (Q2299885) (← links)
- Sublinear P system solutions to NP-complete problems (Q6038691) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)