Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive integer functions, without actually providing their closed algebraic form or tight lor and upper bounds. The area of Ramsey theory is especially rich in such results. Using the problem of computing van der Waerden numbers as an example,  show that these problems can be represented by parameterized propositional theories in such a way that decisions concerning their satisfiability determine the numbers (function) in question.  show that by using general-purpose complete and local-search techniques for testing propositional satisfiability, this approach becomes effective — competitive with specialized approaches. By following it,  re able to obtain several new results pertaining to the problem of computing van der Waerden numbers.  also note that due to their properties, especially their structural simplicity and computational hardness, propositional theories that arise in this research can be of use in development, testing and benchmarking of SAT solvers.
['Michael R. Dransfield', 'Lengning Liu', 'Victor W. Marek', 'Miroslaw Truszczynski']
I am writing a research paper on a idea Satisfiability and Computing van der Waerden Numbers
[{"from": "human", "value": "I am writing a research paper on a idea Satisfiability and Computing van der Waerden Numbers"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive integer functions, without actually providing their closed algebraic form or tight lor and upper bounds. The area of Ramsey theory is especially rich in such results. Using the problem of computing van der Waerden numbers as an example,  show that these problems can be represented by parameterized propositional theories in such a way that decisions concerning their satisfiability determine the numbers (function) in question.  show that by using general-purpose complete and local-search techniques for testing propositional satisfiability, this approach becomes effective \u2014 competitive with specialized approaches. By following it,  re able to obtain several new results pertaining to the problem of computing van der Waerden numbers.  also note that due to their properties, especially their structural simplicity and computational hardness, propositional theories that arise in this research can be of use in development, testing and benchmarking of SAT solvers."}]