| Publication | Date of Publication | Type |
|---|
Scaling neuro-symbolic problem solving: solver-free learning of constraints and objectives
The Journal of Artificial Intelligence Research (JAIR) | 2026-02-19 | Paper |
| Valued constraint satisfaction problems | 2024-09-11 | Paper |
| Graphical Models: Queries, Complexity, Algorithms | 2023-02-07 | Paper |
Triangle-based consistencies for cost function networks
Constraints | 2018-03-28 | Paper |
Approximate Counting with Deterministic Guarantees for Affinity Computation
Advances in Intelligent Systems and Computing | 2017-09-12 | Paper |
Multi-language evaluation of exact solvers in graphical model discrete optimization
Constraints | 2017-08-16 | Paper |
Tractability-preserving transformations of global cost functions
Artificial Intelligence | 2016-09-07 | Paper |
Computational protein design as an optimization problem
Artificial Intelligence | 2014-06-10 | Paper |
Solving Max-SAT as weighted CSP
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities
(available as arXiv preprint) | 2009-04-28 | Paper |
| 2006 and 2007 Max-SAT evaluations: contributed instances | 2009-02-24 | Paper |
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
DARN! A weighted constraint solver for RNA motif localization
Constraints | 2008-09-02 | Paper |
Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques
Constraints | 2008-09-02 | Paper |
Arc consistency for soft constraints
Artificial Intelligence | 2006-02-07 | Paper |
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 2080322 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1893459 (Why is no real title available?) | 2003-04-07 | Paper |
| scientific article; zbMATH DE number 1746443 (Why is no real title available?) | 2002-05-28 | Paper |
| scientific article; zbMATH DE number 1322794 (Why is no real title available?) | 2000-07-24 | Paper |
| scientific article; zbMATH DE number 1322793 (Why is no real title available?) | 1999-12-14 | Paper |
Maintaining reversible DAC for Max-CSP
Artificial Intelligence | 1999-03-02 | Paper |
Nonmonotonic reasoning: From complexity to algorithms
Annals of Mathematics and Artificial Intelligence | 1999-01-11 | Paper |
| scientific article; zbMATH DE number 1045433 (Why is no real title available?) | 1997-08-07 | Paper |
| scientific article; zbMATH DE number 872161 (Why is no real title available?) | 1996-04-29 | Paper |
A Fixed Point Semantics for the ATMS
Journal Of Logic And Computation | 1994-04-20 | Paper |
