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.

Yacine Boufkhad
SearchCollections
Map detail
Yacine Boufkhad7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipYacine BoufkhadAYacine BoufkhadResearcherSecond moment method for a family of boolean CSPWSecond moment method fo...preprint / 2011Estimating SatisfiabilityWEstimating Satisfiabilitypreprint / 2011Forwarding Tables Verification through Representative Header SetsWForwarding Tables Verif...preprint / 2016Constraint ReductionsWConstraint Reductionspreprint / 2020Non Uniform Selection of Solutions for Upper Bounding the 3-SAT ThresholdWNon Uniform Selection o...preprint / 2010Second Moment Method on k-SAT: a General FrameworkWSecond Moment Method on...preprint / 2010
Person6 links

Yacine Boufkhad

Researcher

PaperSecond moment method for a family of boolean CSPAuthorship / preprint / 2011PaperEstimating SatisfiabilityAuthorship / preprint / 2011PaperForwarding Tables Verification through Representative Header SetsAuthorship / preprint / 2016PaperConstraint ReductionsAuthorship / preprint / 2020PaperNon Uniform Selection of Solutions for Upper Bounding the 3-SAT ThresholdAuthorship / preprint / 2010PaperSecond Moment Method on k-SAT: a General FrameworkAuthorship / preprint / 2010

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)