Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

95

Voted

SOFSEM
2009
Springer

112views Theoretical Computer Science» more SOFSEM 2009»

On Some SAT-Variants over Linear Formulas

15 years 11 months ago

On Some SAT-Variants over Linear Formulas

Download www.uni-ulm.de

Informationen zum TheorieTag und Abstracts zu den Beitr¨agen ﬁnden Sie unter http://www.uni-ulm.de/in/theo/tt56.html.

Stefan Porschen, Tatjana Schmidt

Real-time Traffic

SOFSEM 2009 | Theoretical Computer Science |

claim paper

Related Content

» Some 3CNF properties are hard to test

» A Linear Grammar Approach to Mathematical Formula Recognition from PDF

» Monadic datalog over finite structures with bounded treewidth

» An Explicit ClosedForm Solution to the LimitedAngle Discrete Tomography Problem for Finite...

» Interpolant Generation for UTVPI

» Properties and scopes in web model checking

» The ICS Decision Procedures for Embedded Deduction

» Subspace Subcodes of ReedSolomon Codes

» A ProofProducing Decision Procedure for Real Arithmetic

Post Info
More Details (n/a)

Added	17 Mar 2010
Updated	17 Mar 2010
Type	Conference
Year	2009
Where	SOFSEM
Authors	Stefan Porschen, Tatjana Schmidt

Comments (0)