Residual-Guided Look-Ahead in AND/OR Search for Graphical Models
Lam, William, Kask, Kalev, Larrosa, Javier, Dechter, Rina
Published in The Journal of artificial intelligence research (01.10.2017)
Published in The Journal of artificial intelligence research (01.10.2017)
Get full text
Journal Article
Publication
Subproblem ordering heuristics for AND/OR best-first search
Lam, William, Kask, Kalev, Larrosa, Javier, Dechter, Rina
Published in Journal of computer and system sciences (01.06.2018)
Published in Journal of computer and system sciences (01.06.2018)
Get full text
Journal Article
Publication
Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization
Get full text
Book Chapter
Publication
MiniMaxSAT: An Efficient Weighted Max-SAT solver
Heras, F., Larrosa, J., Oliveras, A.
Published in The Journal of artificial intelligence research (01.01.2008)
Published in The Journal of artificial intelligence research (01.01.2008)
Get full text
Journal Article
Constraint satisfaction algorithms for graph pattern matching
LARROSA, JAVIER, VALIENTE, GABRIEL
Published in Mathematical structures in computer science (01.08.2002)
Published in Mathematical structures in computer science (01.08.2002)
Get full text
Journal Article