BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Italy
1 × Portugal
1 × United Kingdom
2 × Canada
2 × USA
Collaborated with:
K.Pipatsrisawat J.Huang G.V.d.Broeck M.Chavira Y.Zabiyaka W.Meert D.Kisa A.Choi
Talks about:
satisfi (3) construct (2) function (2) approach (2) solver (2) effici (2) compon (2) compil (2) obdd (2) dpll (2)

Person: Adnan Darwiche

DBLP DBLP: Darwiche:Adnan

Contributed to:

KR 20142014
SAT 20092009
SAT 20072007
IJCAR 20062006
SAT 20062006
SAT 20042004
SAT 20042005
KR 20022002
KR 19981998

Wrote 11 papers:

KR-2014-BroeckMD #first-order
Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
KR-2014-KisaBCD #diagrams #probability
Probabilistic Sentential Decision Diagrams (DK, GVdB, AC, AD).
SAT-2009-PipatsrisawatD #policy #satisfiability
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers (KP, AD), pp. 341–355.
SAT-2007-PipatsrisawatD #component #lightweight #satisfiability
A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.
IJCAR-2006-Darwiche #compilation #evolution #satisfiability
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (AD), p. 3.
SAT-2006-ChaviraD #analysis #component #encoding
Encoding CNFs to Empower Component Analysis (MC, AD), pp. 61–74.
SAT-2006-ZabiyakaD #bound #complexity #dependence #functional
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.
SAT-2004-HuangD #performance #using
Using DPLL for Efficient OBDD Construction (JH, AD), pp. 127–136.
SAT-J-2004-HuangD05 #performance #using
Using DPLL for Efficient OBDD Construction (JH, AD), pp. 157–172.
KR-2002-Darwiche #approach #logic #network
A Logical Approach to Factoring Belief Networks (AD), pp. 409–420.
KR-1998-Darwiche #approach #compilation
Compiling Devices: A Structure-Based Approach (AD), pp. 156–155.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.