BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Florent Madelaine
SearchCollections
Map detail
Florent Madelaine7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFlorent MadelaineAFlorent MadelaineResearcherConstraint Satisfaction with Counting QuantifiersWConstraint Satisfaction...preprint / 2011The complexity of positive first-order logic without equalityWThe complexity of posit...preprint / 2010Containment, Equivalence and Coreness from CSP to QCSP and beyondWContainment, Equivalenc...preprint / 2012QCSP on partially reflexive cycles - the wavy line of tractabilityWQCSP on partially refle...preprint / 2013On the complexity of the model checking problemWOn the complexity of th...preprint / 2012From complexity to algebra and back: digraph classes, collapsibility and the PGPWFrom complexity to alge...preprint / 2015
Person6 links

Florent Madelaine

Researcher

PaperConstraint Satisfaction with Counting QuantifiersAuthorship / preprint / 2011PaperThe complexity of positive first-order logic without equalityAuthorship / preprint / 2010PaperContainment, Equivalence and Coreness from CSP to QCSP and beyondAuthorship / preprint / 2012PaperQCSP on partially reflexive cycles - the wavy line of tractabilityAuthorship / preprint / 2013PaperOn the complexity of the model checking problemAuthorship / preprint / 2012PaperFrom complexity to algebra and back: digraph classes, collapsibility and the PGPAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)