Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings

Author(s)

• Sinz, Carsten
• Egly, Uwe
• International Conference on Theory and Applications of Satisfiability Testing

Bibliographic Information

Theory and applications of satisfiability testing - SAT 2014 : 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings

Carsten Sinz, Uwe Egly (eds.)

（Lecture notes in computer science, 8561）

Springer, c2014

• : pbk

Note

Includes bibliographical references and index

Details

• NCID: BB16539519
• ISBN:
  • 9783319092836
• LCCN: 2014943561
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xxvi, 448 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279