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
Algorithm for enumerating theorems of first-order theories besides resolution
Is there a general algorithm for enumerating the theorems of any finite first-order theory with a better time complexity than simply using resolution on all first-order logic formulas?
Dec 28 '11 at 21:10
newest automated-theorem-proving algorithms questions feed
Hot Network Questions
Is Hard Link equivalent to Windows Shortcut
How do KDE applications run under Gnome?
The Floating Horde
Maintaining a bunch of generic functions
Occasional counter too large error despite \MakePerPage
I have a printed version of a book does it allow me to possess an electronic copy?
Who's in charge? I want to fart on some authority figures to speak truth to power
How to use restricted characters in egrep?
How can you download all profile pictures for all users in a given SF org?
Dark spot under cockpit on A-10s
Invertibility of a function in Z/m - Does what I have written work?
How can I change the bulbs in this light fixture?
Mandelbrot image in every language
Pawns at centre: Strength or weakness?
Should this be written with exception handling instead of nested if-thens?
Method to get code line number in trigger
What is $DISPLAY environment variable
Wrong alphabetic order for Norwegian bibliography with biblatex
Client/server implementation in C (sending data/files)
Should I put work not related to my profile on my resume?
Good slide design for teaching?
A coworker beat me to resignation. How can I resign in a professional manner?
Generate system.xml default value
Right way to ask financial help
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