vinayak1998 / Discovery-of-Drug-Agencies Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Modeling and solving Discovery of Drug Agencies(an NP class problem) as a SAT Problem. See the problem statement for more details.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Code		Code
Resources		Resources
Problem Statement.pdf		Problem Statement.pdf
README.md		README.md

Repository files navigation

Discovery-of-Drug-Agencies

Modeling and solving Discovery of Drug Agencies(an NP class problem) as a SAT Problem. See the problem statement for more details.

About

Modeling and solving Discovery of Drug Agencies(an NP class problem) as a SAT Problem. See the problem statement for more details.

sat-solver artificial-intelligence-algorithms cnf-clauses

Report repository

Releases

No releases published

Packages

No packages published

Languages