| Publication | Date of Publication | Type |
|---|
Improving complex SMT strategies with learning
International Transactions in Operational Research | 2023-11-17 | Paper |
Modular constraint solver cooperation via abstract interpretation
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Reachability in parametric interval Markov chains using constraints
Lecture Notes in Computer Science | 2019-09-17 | Paper |
Reachability in parametric interval Markov chains using constraints
Theoretical Computer Science | 2018-09-24 | Paper |
A global constraint for over-approximation of real-time streams
Constraints | 2018-02-23 | Paper |
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Set constraint model and automated encoding into SAT: application to the social golfer problem
Annals of Operations Research | 2016-03-09 | Paper |
A hybrid soft computing approach for subset problems
Mathematical Problems in Engineering | 2014-11-24 | Paper |
Constraint-based analysis of composite solvers
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-04-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
A Generic Framework for Local Search: Application to the Sudoku Problem
Computational Science – ICCS 2006 | 2008-12-09 | Paper |
Using Local Search for Guiding Enumeration in Constraint Solving
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-27 | Paper |
A Constructive Hybrid Algorithm for Crew Pairing Optimization
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-27 | Paper |
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-04 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2084739 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084365 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2080550 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080331 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2079839 (Why is no real title available?) | 2004-07-30 | Paper |
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1975612 (Why is no real title available?) | 2003-09-07 | Paper |
| scientific article; zbMATH DE number 1822442 (Why is no real title available?) | 2002-11-03 | Paper |
| Then constraint solver collaboration language of BALI | 2002-04-03 | Paper |
| scientific article; zbMATH DE number 1630124 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1487976 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1406242 (Why is no real title available?) | 2000-05-28 | Paper |
| scientific article; zbMATH DE number 1420823 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1389653 (Why is no real title available?) | 2000-02-20 | Paper |
| scientific article; zbMATH DE number 1350005 (Why is no real title available?) | 1999-10-12 | Paper |
| scientific article; zbMATH DE number 1234565 (Why is no real title available?) | 1999-01-03 | Paper |
