Justifying All-Differences Using Pseudo-Boolean Reasoning (2020)

First Author: Elffers, J

Attributed to: Modelling and Optimisation with Graphs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract