Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  reports our work on application of concurrent/distributed techniques to SAT. These re investigated using each of the following methods: the DPLL [5] algorithm, the dilemma rule of the Stalmarck's algorithm [12] and a concurrent/distributed hybrid SAT solver: DPLL-Stalmarck, using a combination of the DPLL and the dilemma rule based algorithm. The prototypes have been implemented using Alice [10], an SML based language with support for distribution and concurrency. Our prototype framework allows for rapid-prototyping of and experimentation with application of various concurrent/distributed programming techniques to SAT. The emphasis is not on building an industry-standard SAT solver, but rather an investigation of the efficacy of use of these techniques for SAT at various levels of granularity.
['G Sripriya', 'Alan Bundy', 'Alan Smaill']
I am writing a research paper on a idea Concurrent-distributed programming techniques for SAT using DPLL-stålmarck
[{"from": "human", "value": "I am writing a research paper on a idea Concurrent-distributed programming techniques for SAT using DPLL-st\u00e5lmarck"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  reports our work on application of concurrent/distributed techniques to SAT. These re investigated using each of the following methods: the DPLL [5] algorithm, the dilemma rule of the Stalmarck's algorithm [12] and a concurrent/distributed hybrid SAT solver: DPLL-Stalmarck, using a combination of the DPLL and the dilemma rule based algorithm. The prototypes have been implemented using Alice [10], an SML based language with support for distribution and concurrency. Our prototype framework allows for rapid-prototyping of and experimentation with application of various concurrent/distributed programming techniques to SAT. The emphasis is not on building an industry-standard SAT solver, but rather an investigation of the efficacy of use of these techniques for SAT at various levels of granularity."}]