Laurent Henocque

From MaRDI portal
(Redirected from Person:861702)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Advances in Polytime Isomorph Elimination for Configuration
Principles and Practice of Constraint Programming - CP 2005
2008-09-09Paper
Predicting and detecting symmetries in FOL finite model search
Journal of Automated Reasoning
2007-01-30Paper
scientific article; zbMATH DE number 2177630 (Why is no real title available?)2005-06-21Paper
scientific article; zbMATH DE number 1765688 (Why is no real title available?)2002-07-10Paper
scientific article; zbMATH DE number 1614704 (Why is no real title available?)2001-07-05Paper
scientific article; zbMATH DE number 1389646 (Why is no real title available?)2000-01-17Paper
scientific article; zbMATH DE number 1222426 (Why is no real title available?)1998-11-11Paper


Research outcomes over time


This page was built for person: Laurent Henocque