October 27, 2013 Journal of Applied Non-Classical Logics main - Boolean satisfiability problem - Document - PDFSEARCH.IO

First Page	Meta Content
	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Document Date: 2013-10-27 20:44:29 Open Document File Size: 408,10 KB Share Result on Facebook Company Calculus Transition Systems / / Currency pence / / / Facility University of Munich / University of Kassel / / IndustryTerm machinery / nondeterministic double exponential time algorithm / automata-theoretic machinery / na¨ıve solution / / Organization University of Munich / University of Kassel / / Person Rabin / Martin Langeb / / Position straight-forward / / Technology nondeterministic double exponential time algorithm / / SocialTag Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic

October 27, 2013 Journal of Applied Non-Classical Logics mainAdd to Reading List