Satisfiability Checking for PC(ID)

DOI10.1007/11591191_39zbMath1143.03347OpenAlexW1506194049MaRDI QIDQ5387866

Maarten Mariën, Maurice Bruynooghe, Marc Denecker, Rudradeb Mitra

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (2)

Integrating Inductive Definitions in SAT ⋮ Inductive situation calculus

This page was built for publication: Satisfiability Checking for PC(ID)