A Trellis-Based SAT Problem

Reference : A Trellis-Based SAT Problem


	Document type :	Scientific congresses, symposiums and conference proceedings : Poster
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/39383

Title :	A Trellis-Based SAT Problem
Language :	English
Author, co-author :	Franck, Christian [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	Apr-2018
Peer reviewed :	No
Audience :	International
Event name :	Frame Munich Workshop on Coding and Cryptography 2018 (MWCC 2018)
Event date :	from 10-04-2018 to 11-04-2018
Permalink :	http://hdl.handle.net/10993/39383

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.