scientific article

zbMath1272.68369MaRDI QIDQ2848055

Massimo Idini, Enrico Giunchiglia, Marco Maratea, Claudio Castellini, Alessandro Armando

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610505070X

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Modelling and solving temporal reasoning as propositional satisfiability, The SAT-based approach to separation logic

Uses Software

• SMT-LIB
• CVC
• TSAT++