Javier Larrosa

Available identifiers

zbMath Open larrosa.javierMaRDI QIDQ814625

List of research outcomes

Publication	Date of Publication	Type
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	2022-11-01	Paper
Towards a better understanding of (partial weighted) MaxSAT proof systems	2021-04-07	Paper
A framework for certified Boolean branch-and-bound optimization	2011-04-05	Paper
Semiring-induced propositional logic: definition and basic algorithms	2011-01-07	Paper
Solving Max-SAT as weighted CSP	2010-03-02	Paper
A logical approach to efficient Max-SAT solving	2009-07-17	Paper
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates	2009-07-07	Paper
Minimaxsat: an efficient weighted Max-SAT solver	2009-04-28	Paper
2006 and 2007 Max-SAT evaluations: contributed instances	2009-02-24	Paper
A Soft Approach to Multi-objective Optimization	2009-01-22	Paper
Local Consistency in Weighted CSPs and Inference in Max-SAT	2008-09-09	Paper
Depth-First Mini-Bucket Elimination	2008-09-09	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Mini-bucket Elimination with Bucket Propagation	2008-09-09	Paper
Tree Decomposition with Function Filtering	2008-09-09	Paper
A Max-SAT Inference-Based Pre-processing for Max-Clique	2008-05-27	Paper
Unifying tree decompositions for reasoning in graphical models	2007-10-23	Paper
Bucket elimination for multiobjective optimization problems	2006-09-28	Paper
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP	2006-09-28	Paper
Solving weighted CSP by maintaining arc consistency	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4475641	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4475643	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4473033	2004-08-04	Paper
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems	2004-03-15	Paper
Partition-based lower bound for Max-CSP	2003-05-04	Paper
Constraint satisfaction algorithms for graph pattern matching	2003-02-17	Paper
On forward checking for non-binary constraint satisfaction.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4495107	2000-08-10	Paper
Maintaining reversible DAC for Max-CSP	1999-03-02	Paper
Non-monotonic characterization of induction and its application to inductive learning	1995-12-03	Paper

Research outcomes over time

This page was built for person: Javier Larrosa