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.

Alan Mishchenko
SearchCollections
Map detail
Alan Mishchenko6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlan MishchenkoAAlan MishchenkoResearcherEfficient Solution of Language Equations Using Partitioned RepresentationsWEfficient Solution of L...preprint / 2007SAT-Based Complete Don't-Care Computation for Network OptimizationWSAT-Based Complete Don'...preprint / 2007Circuit-Based Intrinsic Methods to Detect OverfittingWCircuit-Based Intrinsic...preprint / 2020A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based AbstractionWA Single-Instance Incre...preprint / 2010Simulation-Guided Boolean ResubstitutionWSimulation-Guided Boole...preprint / 2020
Person5 links

Alan Mishchenko

Researcher

PaperEfficient Solution of Language Equations Using Partitioned RepresentationsAuthorship / preprint / 2007PaperSAT-Based Complete Don't-Care Computation for Network OptimizationAuthorship / preprint / 2007PaperCircuit-Based Intrinsic Methods to Detect OverfittingAuthorship / preprint / 2020PaperA Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based AbstractionAuthorship / preprint / 2010PaperSimulation-Guided Boolean ResubstitutionAuthorship / preprint / 2020

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)