Variable and Clause Elimination for LTL Satisfiability Checking

Suda, Martin

Local TagsRelease HistoryDetailsSummary

Variable and Clause Elimination for LTL Satisfiability Checking

Suda, M. (2013). Variable and Clause Elimination for LTL Satisfiability Checking. In M. Košta, & T. Sturm (Eds.), Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences (pp. 60-74).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-9F19-9 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-9F1A-7

Genre: Conference Paper

Latex : Variable and Clause Elimination for {LTL} Satisfiability Checking

Files

show Files

Locators

show

Creators

show

hide

Creators:
Suda, Martin¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: VCEforLTLmacis2013

Degree: -

Event

show

hide

Title: Fifth International Conference on Mathematical Aspects of Computer and System Sciences

Place of Event: Nanning, China

Start-/End Date: 2013-12-11 - 2013-12-13

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences

Abbreviation : MACIS 2013

Source Genre: Proceedings

Creator(s):
Košta, Marek¹, Editor
Sturm, Thomas¹, Editor

Affiliations:
1 Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 60 - 74 Identifier: -