Algorithms

Ditutup Dipasang Apr 19, 2005 Dibayar saat pengiriman
Ditutup Dibayar saat pengiriman

I need a help coding a simple SAT-SOLVER

it should take the input in cnf form

and use divide and conquer algorithm to obtain satisfiability/unsat results

the program doesnt have to be extensive but needs to be able to solve for easy sat problems....cnf files with atleast 100 clauses and about 25 variables..or more.

i know in theory whats happening

or is supposed to happen but i am stumped in trying to code this in c++ or java

regards,

apurva

i am a student and can afford only so much .

## Deliverables

Rent A Coder requirements notice: As originally posted, this bid request does not have complete details. Should a dispute arise and this project go into arbitration "as is", the contract's vagueness might cause it to be interpreted against you, even though you were acting in good-faith. So for your protection, if you are interested in this project, please work-out and document the requirements onsite.

1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done.

2) Deliverables must be in ready-to-run condition, as follows? (depending on the nature? of the deliverables):

a)? For web sites or? other server-side deliverables intended to only ever exist in one place in the Buyer's environment--Deliverables must be installed by the Seller in ready-to-run condition in the Buyer's environment.

b) For all others including desktop software or software the buyer intends to distribute: A software? installation package that will install the software in ready-to-run condition on the platform(s) specified in this bid request.

3) All deliverables will be considered "work made for hire" under U.S. Copyright law. Buyer will receive exclusive and complete copyrights to all work purchased. (No GPL, GNU, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site per the coder's Seller Legal Agreement).

## Platform

windows xp/2000

Pemrograman C Teknik Java MySQL PHP Perancangan Perangkat Lunak Pengujian Perangkat Lunak

ID Proyek: #3671734

Tentang proyek

13 proposal Proyek online Aktif May 5, 2005

13 freelancer rata-rata menawar $31 untuk pekerjaan ini

navol

See private message.

$42.5 USD dalam 7 hari
(109 Ulasan)
6.1
eothman

See private message.

$42.5 USD dalam 7 hari
(76 Ulasan)
5.8
xiondotincc

See private message.

$34 USD dalam 7 hari
(22 Ulasan)
4.1
oxygenteam

See private message.

$42.5 USD dalam 7 hari
(13 Ulasan)
3.9
hmichopoulos

See private message.

$42.5 USD dalam 7 hari
(27 Ulasan)
3.7
litzvw

See private message.

$25.5 USD dalam 7 hari
(6 Ulasan)
3.0
GrayMatter

See private message.

$21.25 USD dalam 7 hari
(15 Ulasan)
3.0
nitinmidha

See private message.

$25.5 USD dalam 7 hari
(6 Ulasan)
2.7
moriokasan

See private message.

$25.5 USD dalam 7 hari
(1 Ulasan)
1.4
jigarpatelvw

See private message.

$34 USD dalam 7 hari
(2 Ulasan)
1.2
zareea

See private message.

$29.75 USD dalam 7 hari
(1 Ulasan)
0.0
rtavk3

See private message.

$25.5 USD dalam 7 hari
(1 Ulasan)
0.0
opinder

See private message.

$12.75 USD dalam 7 hari
(0 Ulasan)
0.0