Dataset - CKAN

Multitriangulations, pseudotriangulations and primitive sorting networks

International audience
- HTML
Multi-pseudotriangulations

International audience
- HTML
Models of Horn Formulas are Enumerable at Nearly Linear Delay

7 pages Paper submitted to journal Information Processing Letters in May 2012
- HTML

You can also access this registry using the API (see API Docs).