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: Darwiche:Adnan
Contributed to:
2014
20092007
200620062004200520021998Wrote 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.