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.

Rastislav Lenhardt
SearchCollections
Map detail
Rastislav Lenhardt4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipRastislav LenhardtARastislav LenhardtResearcherProof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming SolversWProof of Concept: Fast ...preprint / 2010Model Checking Markov Chains Against Unambiguous Buchi AutomataWModel Checking Markov C...preprint / 2016Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on TreesWControlling the Depth, ...preprint / 2013
Person3 links

Rastislav Lenhardt

Researcher

PaperProof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming SolversAuthorship / preprint / 2010PaperModel Checking Markov Chains Against Unambiguous Buchi AutomataAuthorship / preprint / 2016PaperControlling the Depth, Size, and Number of Subtrees for Two-variable Logic on TreesAuthorship / preprint / 2013

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)