to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Modelchecking on Automata, $\phi$ not SAT and $\phi \models$ False
Given a formula $\phi$ Is $\phi \models FALSE$ equivalent to $\phi$ not SAT? Or does $\phi \models FALSE$ means that $\phi$ is never $TRUE$ and $\phi$ not SAT means, that there existst at least one ...
Mar 15 '12 at 10:43
newest automated-theorem-proving satisfiability questions feed
Hot Network Questions
Categorize continuous data effectively (taking into account a response variable)
What happens when plates of a fully charged capacitor are isolated from each other?
Is it appropriate for an employer to ask skilled professionals to do manual labor?
'The good of the people' & 'follow in everything the general will'
Does a Wizard need a spellbook to cast spells, or just to prepare them?
How could Rabbi Shimon bar Yochai eat from the carob tree?
Why did the Baron Harkonnen cut off Rabban?
Absolute inequality question.
Why does the Stack Overflow swag request form have six address lines?
Mandelbrot image in every language
How does a half-life work?
Why "ls" doesnt show the file that "find" discovered ?
How does the command prompt know when to wait for exit?
Good slide design for teaching?
How secure is Java's hashCode()?
Caption and reference of a figure in the introduction chapter
Shortest code to print ':)' random times
Transform big number into scientific format
I am considering leasing a new car for my ex-wife. What can go wrong?
Is 'my wife and I' correct English?
Why does apt removes unwanted packages when giving * as suffix?
Meaning of the term - in the blind
Should I learn to use LaTex to write up a History Masters Thesis?
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Overflow
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0