SMTS: Distributed, Visualized Constraint Solving

DOI10.29007/fhgnzbMath1415.68197OpenAlexW2906882231MaRDI QIDQ5222977

Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/fhgn

zbMATH Keywords

algorithm portfoliosdivide and conquerdistributed IC3distributed SMTweb-based GUI

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Distributed algorithms (68W15)

Related Items

Unnamed Item ⋮ SMTS

Uses Software

• Chaff
• OpenSMT2
• PKind
• APT

This page was built for publication: SMTS: Distributed, Visualized Constraint Solving