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.

Nachum Dershowitz
SearchCollections
Map detail
Nachum Dershowitz13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNachum DershowitzANachum DershowitzResearcherBetween Broadway and the Hudson: A Bijection of Corridor PathsWBetween Broadway and th...preprint / 2021Nonleaf Patterns in Trees: Protected Nodes and Fine NumbersWNonleaf Patterns in Tre...preprint / 2019Touchard's DrunkardWTouchard's Drunkardpreprint / 2016Tripartite UnionsWTripartite Unionspreprint / 2016A Scalable Algorithm for Minimal Unsatisfiable Core ExtractionWA Scalable Algorithm fo...preprint / 2006A General Framework for Automatic Termination Analysis of Logic ProgramsWA General Framework for...preprint / 2000Complexity of Propositional Proofs under a PromiseWComplexity of Propositi...preprint / 2007From Total Assignment Enumeration to Modern SAT SolverWFrom Total Assignment E...preprint / 2011The Generic Model of ComputationWThe Generic Model of Co...preprint / 2012A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-WA Formalization and Pro...preprint / 2012Cellular Automata are GenericWCellular Automata are G...preprint / 20151700 ForestsW1700 Forestspreprint / 2016
Person12 links

Nachum Dershowitz

Researcher

PaperBetween Broadway and the Hudson: A Bijection of Corridor PathsAuthorship / preprint / 2021PaperNonleaf Patterns in Trees: Protected Nodes and Fine NumbersAuthorship / preprint / 2019PaperTouchard's DrunkardAuthorship / preprint / 2016PaperTripartite UnionsAuthorship / preprint / 2016PaperA Scalable Algorithm for Minimal Unsatisfiable Core ExtractionAuthorship / preprint / 2006PaperA General Framework for Automatic Termination Analysis of Logic ProgramsAuthorship / preprint / 2000PaperComplexity of Propositional Proofs under a PromiseAuthorship / preprint / 2007PaperFrom Total Assignment Enumeration to Modern SAT SolverAuthorship / preprint / 2011

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)