Finding Minimum vertex cover using minisat

Closed Posted 6 years ago Paid on delivery
Closed Paid on delivery

Do vertex cover reduction to CNF-SAT and use minisat in finding the minimum vertex cover. C++ programming and prior knowledge is important

Algorithm C Programming C# Programming C++ Programming Software Architecture

Project ID: #15576578

About the project

4 proposals Remote project Active 6 years ago

4 freelancers are bidding on average $78 for this job

hbxfnzwpf

I am very proficient in c and c++. I have 16 years c++ developing experience now, and have worked for more than 7 years. My work is online game developing, and mainly focus on server side, using c++ under Linux environ More

$80 CAD in 2 days
(129 Reviews)
7.0
ahmsak

Hello Sir... I have a very good experience in SAT solvers. Please contact me for more details when possible. I look forward to work for you Sir. Best Regards. Relevant Skills and Experience I am a computer science tut More

$100 CAD in 10 days
(75 Reviews)
6.0
hng5a013363d1b9c

serious freelancer can do it in 2 days Stay tuned, I'm still working on this proposal.

$30 CAD in 10 days
(0 Reviews)
0.0