Preface to the special issue ``SI: satisfiability modulo theories

DOI10.1007/s10703-012-0172-2zbMath1284.68035MaRDI QIDQ2441769

No author found.

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0172-2

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• Chaff
• CVC
• ICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Verification of Timed Automata via Satisfiability Checking
• Computer Aided Verification