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_*FamousMathProblem.ThreeSatisfiabilityProblem-link to /input/?i=3%E2%80%90satisfiability+problem&lk=1&a=ClashPrefs_*FamousMathProblem.ThreeSatisfiabilityProblem-link to /input/?i=3%E2%80%90satisfiability+problem&lk=1&a=ClashPrefs_*FamousMathProblem.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_*FamousMathProblem.ThreeSatisfiabilityProblem.FamousMathProblemProperty.Status-link to /input/?i=3%E2%80%90satisfiability+problem+proof+date&lk=1&a=ClashPrefs_*FamousMathProblem.ThreeSatisfiabilityProblem.FamousMathProblemProperty.ProofDate-link to /input/?i=3%E2%80%90satisfiability+problem+proof+date&lk=1&a=ClashPrefs_*FamousMathProblem.ThreeSatisfiabilityProblem.FamousMathProblemProperty.ProofDate-link to /input/?i=year+1971&lk=1link to /input/?i=3%E2%80%90satisfiability+problem+prover&lk=1&a=ClashPrefs_*FamousMathProblem.ThreeSatisfiabilityProblem.FamousMathProblemProperty.Provers-link 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_*FamousMathProblemClass.NPCompleteProblem-link to /input/?i=NP+complete+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.NPCompleteProblem-link to /input/?i=NP+complete+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.NPCompleteProblem-link to /input/?i=NP+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.NPProblem-link to /input/?i=NP+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.NPProblem-link to /input/?i=mathematical+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.Problem-link to /input/?i=mathematical+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.Problem-link to /input/?i=solved+mathematics+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.Solved-link to /input/?i=solved+mathematics+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.Solved-link to /input/?i=solved+mathematics+problems&lk=1&a=ClashPrefs_*FamousMathProblemClass.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


 
x

CDF Interactivity

Bring Wolfram|Alpha output to life with CDF interactivity.

Subscribe to Pro
Learn about all Pro features »