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.

Oliver Kullmann
SearchCollections
Map detail
Oliver Kullmann13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOliver KullmannAOliver KullmannResearcherExact Ramsey Theory: Green-Tao numbers and SATWExact Ramsey Theory: Gr...preprint / 2010Constraint satisfaction problems in clausal formWConstraint satisfaction...preprint / 2011On Davis-Putnam reductions for minimally unsatisfiable clause-setsWOn Davis-Putnam reducti...preprint / 2012On variables with few occurrences in conjunctive normal formsWOn variables with few o...preprint / 2011Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clausesWParameters for minimal ...preprint / 2015Unsatisfiable hitting clause-sets with three more clauses than variablesWUnsatisfiable hitting c...preprint / 2016Computing maximal autarkies with few and simple oracle queriesWComputing maximal autar...preprint / 2015Minimal unsatisfiability and deficiency: recent developmentsWMinimal unsatisfiabilit...preprint / 2016Trading inference effort versus size in CNF Knowledge CompilationWTrading inference effor...preprint / 2013Towards a theory of good SAT representationsWTowards a theory of goo...preprint / 2013Hardness measures and resolution lower boundsWHardness measures and r...preprint / 2014On SAT representations of XOR constraintsWOn SAT representations ...preprint / 2013
Person12 links

Oliver Kullmann

Researcher

PaperExact Ramsey Theory: Green-Tao numbers and SATAuthorship / preprint / 2010PaperConstraint satisfaction problems in clausal formAuthorship / preprint / 2011PaperOn Davis-Putnam reductions for minimally unsatisfiable clause-setsAuthorship / preprint / 2012PaperOn variables with few occurrences in conjunctive normal formsAuthorship / preprint / 2011PaperParameters for minimal unsatisfiability: Smarandache primitive numbers and full clausesAuthorship / preprint / 2015PaperUnsatisfiable hitting clause-sets with three more clauses than variablesAuthorship / preprint / 2016PaperComputing maximal autarkies with few and simple oracle queriesAuthorship / preprint / 2015PaperMinimal unsatisfiability and deficiency: recent developmentsAuthorship / preprint / 2016

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)