3SAT - Wolfram|Alpha

x


Image InputX

Upload an image from your computer:
Enter a URL for an image:
 

File UploadX

Upload a file from your computer:
Enter a URL for a file:
 


Copy & paste as input »Terms | Privacy

All files »Recent files
Loading
Supported formats and sample files
Assuming "3SAT" is referring to a mathematical result | Use as a television topic instead | Use "SAT" as a standardized test

Input interpretation:

link to /input/?i=3%E2%80%90satisfiability+problem&lk=1&a=ClashPrefs_*FamousMathProblems.ThreeSatisfiabilityProblem-link to /input/?i=3%E2%80%90satisfiability+problem&lk=1&a=ClashPrefs_*FamousMathProblems.ThreeSatisfiabilityProblem-link to /input/?i=3%E2%80%90satisfiability+problem&lk=1&a=ClashPrefs_*FamousMathProblems.ThreeSatisfiabilityProblem-
EnlargeEnable InteractivityDownload as CDF

Statement:

EnlargeEnable InteractivityDownload as CDF

Alternate name:

EnlargeEnable InteractivityDownload as CDF

History:

link to /input/?i=3%E2%80%90satisfiability+problem+status&lk=1&a=ClashPrefs_*FamousMathProblems.ThreeSatisfiabilityProblem.FamousMathProblemsProperty.Status-link to /input/?i=3%E2%80%90satisfiability+problem+proof+date&lk=1&a=ClashPrefs_*FamousMathProblems.ThreeSatisfiabilityProblem.FamousMathProblemsProperty.ProofDate-link to /input/?i=3%E2%80%90satisfiability+problem+proof+date&lk=1&a=ClashPrefs_*FamousMathProblems.ThreeSatisfiabilityProblem.FamousMathProblemsProperty.ProofDate-link to /input/?i=year+1971&lk=1link to /input/?i=Stephen+Cook&lk=1&a=ClashPrefs_*Person.StephenCook%3A%3A8bdr6-link to /input/?i=Stephen+Cook&lk=1&a=ClashPrefs_*Person.StephenCook%3A%3A8bdr6-
EnlargeEnable InteractivityDownload as CDF

Classes:

link to /input/?i=NP+complete+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.NPCompleteProblem-link to /input/?i=NP+complete+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.NPCompleteProblem-link to /input/?i=NP+complete+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.NPCompleteProblem-link to /input/?i=NP+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.NPProblem-link to /input/?i=NP+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.NPProblem-link to /input/?i=mathematical+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.Problem-link to /input/?i=mathematical+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.Problem-link to /input/?i=solved+mathematics+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.Solved-link to /input/?i=solved+mathematics+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.Solved-link to /input/?i=solved+mathematics+problems&lk=1&a=ClashPrefs_*FamousMathProblemsClass.Solved-
EnlargeEnable InteractivityDownload as CDF

Download full output as:

CDF  PDF
To open this file you need the FREE Wolfram CDF Player or Mathematica 8
Download Wolfram CDF Player Continue downloading file
Give us your feedback:
 
x

Output Zoom

Zoom in to see an enlarged view of any output.

Subscribe to Pro
Learn about all Pro features »
X

Edit this favorite


 
AdvertisementAvoid ads Upgrade to Wolfram|Alpha Pro »
x

CDF Interactivity

Bring Wolfram|Alpha output to life with CDF interactivity.

Subscribe to Pro
Learn about all Pro features »