Exact satisfiabitity with jokers

DOI10.1007/978-3-030-14812-6_17OpenAlexW2938128414MaRDI QIDQ2327478

Frank Stephan, Gordon Hoi, Sibylle Schwarz, Sanjay Jain

Publication date: 15 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-14812-6_17

Mathematics Subject Classification ID

Related Items (1)

Exhausting strategies, joker games and full completeness for IMLL with unit

This page was built for publication: Exact satisfiabitity with jokers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327478)