Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5325866
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
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