David G. Mitchell

Available identifiers

Publication	Date of Publication	Type
A Unifying Framework to Construct QC-LDPC Tanner Graphs of Desired Girth	2022-10-11	Paper
Generating hard satisfiability problems	2022-09-22	Paper
Some pitfalls for experimenters with random SAT	2022-09-22	Paper
Spatially Coupled Generalized LDPC Codes: Asymptotic Analysis and Finite Length Scaling	2021-07-23	Paper
Code Design Based on Connecting Spatially Coupled Graph Chains	2020-01-28	Paper
Propagators and Solvers for the Algebra of Modular Systems	2019-01-10	Paper
Minimum Distance and Trapping Set Analysis of Protograph-Based LDPC Convolutional Codes	2017-06-08	Paper
Quasi-Cyclic LDPC Codes Based on Pre-Lifted Protographs	2017-05-16	Paper
Spatially Coupled LDPC Codes Constructed From Protographs	2017-04-28	Paper
Design of Spatially Coupled LDPC Codes Over GF $(q)$ for Windowed Decoding	2017-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5740450	2016-07-26	Paper
Clause-Learning for Modular Systems	2015-11-04	Paper
Speed-Up Techniques for Negation in Grounding	2011-01-07	Paper
On the Complexity of Model Expansion	2010-10-12	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3396552	2009-09-19	Paper
2 -Way vs.d -Way Branching for CSP	2008-09-09	Paper
Expressive power and abstraction in Essence	2008-09-02	Paper
Constructing Camin-Sokal Phylogenies Via Answer Set Programming	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4375756	1998-06-02	Paper

This page was built for person: David G. Mitchell