vertex cover sat solver

Hi! I'm interesting your project very well. I am mastering c++ and I'm a good Mathematician. And also I have many experience and good skill about sat algorithm. Let's go ahead with me Stay tuned, I'm still working on this proposal.

Hello, I'm c++ developer with 6+ years of experience and mathematician with a number of publications. Also I'm participant and problem writer of many algorithm competitions (Topcoder, ACM ICPC, etc). Relevant Skills and Experience c++ programming, algorithm, graph theory, mathematics Proposed Milestones $120 USD - Need further details to create list of milestones Feel free to contact me to discuss any details of the project. Looking forward to hearing from you!

Hello Sir, I have a very good experience with SAT and ASP solvers. I am a computer science tutor, I teach (among others) Prolog and Algorithms. I have done many projects like this, and I'm one of the top Prolog developers, and you can check by clicking on my profile picture. Please contact me for more details when possible. I look forward to work for you, Sir. Best Regards.

Hi there! I am a professional mathematician and suitable to do the sat problem. Please contact me for details. Regards, Valentin Relevant Skills and Experience algorithm Proposed Milestones $155 USD - flexible

I have 3 years of teaching algorithms I am TA for CS 344, CS 512 at Rutgers Check out Cuong Tran Rutgers, TA CS 344 Relevant Skills and Experience Teaching assistant for Design algorithms 3 years experience C++ Stay tuned, I'm still working on this proposal.