Finding Minimum vertex cover using minisat

$30-50 CAD

Closed

Posted

over 6 years ago

$30-50 CAD

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

Software Architecture

Project ID: 15576578

About the project

4 proposals

Remote project

Active 6 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

4 freelancers are bidding on average $78 CAD 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 environment. I made many great projects using c++, for example, I made the tools which could convert java codes into c++ scripts, of course garbage collection included, this was very similar to a compiler, and was very complex. I also made our own mobile game using c++, I can show you the demo of client, if you like. I am very proficient in java also. I have a very good review on Freelancer.com, I never miss a project once I accept the job, you can check my review. Trust me, please let expert help you.

$80 CAD in 2 days

4.9

(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 tutor, I teach (among others) Discrete optimization and Algorithms. Proposed Milestones $100 CAD - 1

$100 CAD in 10 days