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.

Adnan Darwiche
SearchCollections
Map detail
Adnan Darwiche17 visible / 17 total nodes / 41 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAdnan DarwicheAAdnan DarwicheResearcherDsat: A Native SAT Solver for Discrete LogicWDsat: A Native SAT Solv...preprint / 2026Yaofang ZhangAYaofang ZhangResearcherKen ZhouAKen ZhouResearcherCausal Inference Using Tractable CircuitsWCausal Inference Using ...preprint / 2022Tractable Boolean and Arithmetic CircuitsWTractable Boolean and A...preprint / 2022On the Computation of Necessary and Sufficient ExplanationsWOn the Computation of N...preprint / 2022Three Modern Roles for Logic in AIWThree Modern Roles for ...preprint / 2020An Advance on Variable Elimination with Applications to Tensor-Based ComputationWAn Advance on Variable ...preprint / 2020On The Reasons Behind DecisionsWOn The Reasons Behind D...preprint / 2020Objection-Based Causal NetworksWObjection-Based Causal ...preprint / 2013Argument Calculus and NetworksWArgument Calculus and N...preprint / 2013On the Relation between Kappa Calculus and Probabilistic ReasoningWOn the Relation between...preprint / 2013Action Networks: A Framework for Reasoning about Actions and Change under UncertaintyWAction Networks: A Fram...preprint / 2013Conditioning Methods for Exact and Approximate Inference in Causal NetworksWConditioning Methods fo...preprint / 2013Artificial IntelligenceTArtificial Intelligence22915 worksLogic in Computer ScienceTLogic in Computer Science2208 works
Person16 links

Adnan Darwiche

Researcher

PaperDsat: A Native SAT Solver for Discrete LogicAuthorship / preprint / 2026PersonYaofang ZhangCo-authorship / ResearcherPersonKen ZhouCo-authorship / ResearcherPaperCausal Inference Using Tractable CircuitsAuthorship / preprint / 2022PaperTractable Boolean and Arithmetic CircuitsAuthorship / preprint / 2022PaperOn the Computation of Necessary and Sufficient ExplanationsAuthorship / preprint / 2022PaperThree Modern Roles for Logic in AIAuthorship / preprint / 2020PaperAn Advance on Variable Elimination with Applications to Tensor-Based ComputationAuthorship / 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)