HANDBOOK OF SATISFIABILITY

dc.contributor.author	Hans van Maaren, Armin Biere, Marijn Heule,
dc.date.accessioned	2022-08-30T05:26:43Z
dc.date.available	2022-08-30T05:26:43Z
dc.date.issued	2021
dc.identifier.uri	http://10.250.8.41:8080/xmlui/handle/123456789/30231
dc.language.iso	en	en_US
dc.publisher	IOP Press	en_US
dc.relation.ispartofseries	SMME-EB-1721;
dc.title	HANDBOOK OF SATISFIABILITY	en_US
dc.type	Book	en_US