Rina Dechter

From MaRDI portal
Person:513335

Available identifiers

zbMath Open dechter.rinaMaRDI QIDQ513335

List of research outcomes





PublicationDate of PublicationType
Biography of Judea Pearl by Stuart J. Russell2023-04-04Paper
Turing Award Lecture2023-04-04Paper
Interview by Martin Ford2023-04-04Paper
An Interview with Ron Wassertein on How The Book of Why Transforms Statistics2023-04-04Paper
Selected Annotated Bibliography by Judea Pearl2023-04-04Paper
Uncovering trees in constraint networks2022-09-27Paper
Default reasoning using classical logic2022-09-23Paper
Structure-driven algorithms for truth maintenance2022-09-22Paper
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition2019-03-28Paper
AND/OR Search for Marginal MAP2019-01-18Paper
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs2018-03-22Paper
AND/OR Branch-and-Bound on a Computational Grid2017-10-24Paper
Weighted heuristic anytime search: new schemes for optimization over graphical models2017-03-06Paper
Searching for the \(m\) best solutions in graphical models2016-04-19Paper
Mini-buckets2015-12-07Paper
Bucket elimination: a unifying framework for processing hard and soft constraints2015-06-15Paper
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms2014-05-15Paper
Importance sampling-based estimation over AND/OR search spaces for graphical models2012-11-15Paper
Anytime AND/OR depth-first search for combinatorial optimization2012-10-25Paper
SampleSearch: importance sampling in presence of determinism2011-06-17Paper
https://portal.mardi4nfdi.de/entity/Q29962522011-05-06Paper
Active tuples-based scheme for bounding posterior beliefs2010-11-10Paper
Join-graph propagation algorithms2010-05-31Paper
Evaluating the impact of AND/OR search on 0-1 integer linear programming2010-03-02Paper
AND/OR branch-and-bound search for combinatorial optimization in graphical models2009-12-21Paper
Memory intensive AND/OR search for combinatorial optimization in graphical models2009-12-21Paper
Mixed deterministic and probabilistic networks2009-09-18Paper
Robust Solutions in Unstable Optimization Problems2009-08-06Paper
AND/OR search spaces for graphical models2009-07-09Paper
https://portal.mardi4nfdi.de/entity/Q36240452009-04-28Paper
AND/OR multi-valued decision diagrams (AOMDDs) for graphical models2009-04-28Paper
Best-First AND/OR Search for 0/1 Integer Programming2009-03-10Paper
Principles and Practice of Constraint Programming – CP 20042008-09-09Paper
Principles and Practice of Constraint Programming – CP 20042008-09-09Paper
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)2008-09-09Paper
AND/OR Multi-valued Decision Diagrams for Constraint Optimization2008-09-02Paper
AND/OR Multi-valued Decision Diagrams for Constraint Networks2008-06-19Paper
Logic Programming and Nonmonotonic Reasoning2007-11-07Paper
Unifying tree decompositions for reasoning in graphical models2007-10-23Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems2007-04-30Paper
https://portal.mardi4nfdi.de/entity/Q44756432004-08-09Paper
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems2004-03-15Paper
Processing disjunctions in temporal constraint networks2003-08-28Paper
Backjump-based backtracking for constraint satisfaction problems2002-07-15Paper
Heuristic search in artificial intelligence2002-07-14Paper
Resolution versus search: Two strategies for SAT2001-10-21Paper
Resolution versus search: Two strategies for SAT2001-09-03Paper
A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\)2001-08-20Paper
Topological parameters for time-space tradeoff2001-08-20Paper
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems2000-08-14Paper
Maintenance scheduling problems as benchmarks for constraint algorithms2000-06-07Paper
Bucket elimination: A unifying framework for reasoning2000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q44846632000-05-29Paper
https://portal.mardi4nfdi.de/entity/Q42177911999-04-19Paper
Local and global relational consistency1998-07-23Paper
https://portal.mardi4nfdi.de/entity/Q48712581998-05-10Paper
On computing minimal models1998-03-04Paper
Constraint tightness and looseness versus local and global consistency1998-02-17Paper
On the minimality and global consistency of row-convex constraint networks1998-01-28Paper
Propositional semantics for disjunctive logic programs1996-10-20Paper
Structure identification in relational data1993-04-01Paper
On the Greedy Solution of Ordering Problems1993-01-16Paper
From local to global consistency1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40122131992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40135411992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40138451992-09-27Paper
Temporal constraint networks1992-06-28Paper
Decomposing a relation into a tree of binary relations1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34933251989-01-01Paper
Tree clustering for constraint networks1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34895031989-01-01Paper
Network-based heuristics for constraint-satisfaction problems1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38350531988-01-01Paper
Generalized best-first search strategies and the optimality of A*1985-01-01Paper
Probabilistic analysis of the complexity of A*1980-01-01Paper

Research outcomes over time

This page was built for person: Rina Dechter