| Publication | Date of Publication | Type |
|---|
Structural analysis of generalized quasi-cyclic LDPC codes: rank, design, and generator matrices
IEEE Transactions on Information Theory | 2026-03-18 | Paper |
A Unifying Framework to Construct QC-LDPC Tanner Graphs of Desired Girth
IEEE Transactions on Information Theory | 2022-10-11 | Paper |
Generating hard satisfiability problems
Artificial Intelligence | 2022-09-22 | Paper |
Some pitfalls for experimenters with random SAT
Artificial Intelligence | 2022-09-22 | Paper |
Spatially Coupled Generalized LDPC Codes: Asymptotic Analysis and Finite Length Scaling
IEEE Transactions on Information Theory | 2021-07-23 | Paper |
Code Design Based on Connecting Spatially Coupled Graph Chains
IEEE Transactions on Information Theory | 2020-01-28 | Paper |
Propagators and Solvers for the Algebra of Modular Systems
EPiC Series in Computing | 2019-01-10 | Paper |
Minimum Distance and Trapping Set Analysis of Protograph-Based LDPC Convolutional Codes
IEEE Transactions on Information Theory | 2017-06-08 | Paper |
Quasi-Cyclic LDPC Codes Based on Pre-Lifted Protographs
IEEE Transactions on Information Theory | 2017-05-16 | Paper |
Spatially Coupled LDPC Codes Constructed From Protographs
IEEE Transactions on Information Theory | 2017-04-28 | Paper |
Design of Spatially Coupled LDPC Codes Over GF (q) for Windowed Decoding
IEEE Transactions on Information Theory | 2017-04-28 | Paper |
| scientific article; zbMATH DE number 6606379 (Why is no real title available?) | 2016-07-26 | Paper |
Clause-learning for modular systems
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Speed-up techniques for negation in grounding
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
On the complexity of model expansion
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Principles and Practice of Constraint Programming – CP 2003
Lecture Notes in Computer Science | 2010-03-02 | Paper |
| scientific article; zbMATH DE number 5605058 (Why is no real title available?) | 2009-09-19 | Paper |
2 -Way vs.d -Way Branching for CSP
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Expressive power and abstraction in Essence
Constraints | 2008-09-02 | Paper |
Constructing Camin-Sokal Phylogenies Via Answer Set Programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| scientific article; zbMATH DE number 1113991 (Why is no real title available?) | 1998-06-02 | Paper |
