Theory and Applications of Satisfiability Testing

DOI10.1007/b95238zbMath1204.68031OpenAlexW2494235144WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ5325866

Luca Compagna, Alessandro Armando

Publication date: 24 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95238

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Network protocols (68M12)

Related Items

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols, GridSAT: Design and implementation of a computational grid application

Uses Software

• TAPS
• SATO
• Casper
• Chaff
• BerkMin