A Sublinear Sudoku Solution in cP Systems and its Formal Verification

No abstract is available for this paper.

• Publication year

  2021

• Venue

  Comput. Sci. J. Moldova

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Solving a PSPACE-complete problem with cP systems

  2020cited by this paper
• Formal verification of cP systems using PAT3 and ProB

  2020cited by this paper
• P-Lingua in two steps: flexibility and efficiency

  2019cited by this paper
• The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems

  2019cited by this paper
• An Introduction to cP Systems

  2018cited by this paper
• On the number of Sudoku squares

  2018cited by this paper
• Cell-like P-systems using deterministic update rules to solve Sudoku

  2017cited by this paper
• A new membrane algorithm using the rules of Particle Swarm Optimization incorporated within the framework of cell-like P-systems to solve Sudoku

  2016cited by this paper
• A generic membrane computing-based Sudoku solver

  2014cited by this paper
• Programming P Systems with Complex Objects

  2013cited by this paper
• Kernel P Systems - Version 1

  2013cited by this paper
• PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers

  2011cited by this paper
• Solving sudoku with Membrane Computing

  2010cited by this paper
• Sinkhorn Solves Sudoku

  2009cited by this paper
• Metaheuristics can solve sudoku puzzles

  2007cited by this paper
• Geometric particle swarm optimization for the sudoku puzzle

  2007cited by this paper
• Solving Sudoku Puzzles with Rewriting Rules

  2007cited by this paper
• Harmony Search Algorithm for Solving Sudoku

  2007cited by this paper
• Solving, rating and generating Sudoku puzzles with GA

  2007cited by this paper
• Spiking Neural P Systems

  2006cited by this paper
• Sudoku as a SAT Problem

  2006cited by this paper
• Product Geometric Crossover for the Sudoku Puzzle

  2006cited by this paper
• Sudoku as a Constraint Problem

  2005cited by this paper
• Tissue P systems

  2003cited by this paper
• On P Systems with Active Membranes

  2000cited by this paper
• Computing with Membranes

  2000cited by this paper
• Dancing links

  2000cited by this paper

• cPV – Simulation and Verification for Membrane Computing

  2022cites this paper
• Formal verification of cP systems using Coq

  2021cites this paper
• Towards automated deduction in cP systems

  2021cites this paper