Graph Transformation Units Guided by a SAT Solver

DOI10.1007/978-3-642-15928-2_3zbMath1306.68080OpenAlexW1487888553WikidataQ62513103 ScholiaQ62513103MaRDI QIDQ4931302

Robert Wille, Sabine Kuske, Hans-Joerg Kreowski

Publication date: 4 October 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ CoReS: a tool for computing core graphs via SAT/SMT solvers

Uses Software

• MiniSat

This page was built for publication: Graph Transformation Units Guided by a SAT Solver