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.

Albert Atserias
SearchCollections
Map detail
Albert Atserias6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlbert AtseriasAAlbert AtseriasResearcherConsistency, Acyclicity, and Positive SemiringsWConsistency, Acyclicity...preprint / 2020Clause-Learning Algorithms with Many Restarts and Bounded-Width ResolutionWClause-Learning Algorit...preprint / 2014On the dynamic width of the 3-colorability problemWOn the dynamic width of...preprint / 2014Narrow Proofs May Be Maximally LongWNarrow Proofs May Be Ma...preprint / 2014A Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime FieldsWA Note on Semi-Algebrai...preprint / 2015
Person5 links

Albert Atserias

Researcher

PaperConsistency, Acyclicity, and Positive SemiringsAuthorship / preprint / 2020PaperClause-Learning Algorithms with Many Restarts and Bounded-Width ResolutionAuthorship / preprint / 2014PaperOn the dynamic width of the 3-colorability problemAuthorship / preprint / 2014PaperNarrow Proofs May Be Maximally LongAuthorship / preprint / 2014PaperA Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime FieldsAuthorship / 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)