| Publication | Date of Publication | Type |
|---|
A study of complexity transitions on the asymmetric traveling salesman problem
Artificial Intelligence | 2022-09-22 | Paper |
Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems
Artificial Intelligence | 2022-09-22 | Paper |
Performance of linear-space search algorithms
Artificial Intelligence | 2022-09-21 | Paper |
Discovering link communities in complex networks by exploiting link dynamics
Journal of Statistical Mechanics: Theory and Experiment | 2020-08-11 | Paper |
The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability
Journal of Discrete Algorithms | 2016-07-15 | Paper |
SAS+ planning as satisfiability
The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
| Rearrangement clustering: pitfalls, remedies, and applications | 2011-10-12 | Paper |
An effective algorithm for and phase transitions of the directed Hamiltonian cycle problem
Journal of Artificial Intelligence Research | 2011-01-21 | Paper |
A SAT based effective algorithm for the directed Hamiltonian cycle problem
Computer Science – Theory and Applications | 2010-06-22 | Paper |
Complete Parsimony Haplotype Inference Problem and Algorithms
Lecture Notes in Computer Science | 2009-10-29 | Paper |
Long-distance mutual exclusion for planning
Artificial Intelligence | 2009-08-31 | Paper |
Frontier search
Journal of the ACM | 2008-12-21 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Cut-and-solve: An iterative search strategy for combinatorial optimization problems
Artificial Intelligence | 2007-10-23 | Paper |
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence | 2007-10-23 | Paper |
Distributed stochastic search and distributed breakout: properties, comparison and applications to constraint optimization problems in sensor networks
Artificial Intelligence | 2007-10-23 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Average-case analysis of best-first search in two representative directed acyclic graphs
Artificial Intelligence | 2006-02-07 | Paper |
Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability
Artificial Intelligence | 2006-02-07 | Paper |
scientific article; zbMATH DE number 2243360 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
| scientific article; zbMATH DE number 2084703 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2064413 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1893558 (Why is no real title available?) | 2003-04-07 | Paper |
Performance of linear-space search algorithms
Artificial Intelligence | 2003-02-04 | Paper |
Heuristic search in artificial intelligence
Artificial Intelligence | 2002-07-14 | Paper |
Iterative state-space reduction for flexible computation
Artificial Intelligence | 2001-08-20 | Paper |
| State-Space Search | 2000-02-06 | Paper |
A note on the complexity of the asymmetric traveling salesman problem
Operations Research Letters | 1997-12-04 | Paper |
Parallel heap operations on an EREW PRAM
Journal of Parallel and Distributed Computing | 1994-05-15 | Paper |
A faster optimal algorithm for the measure problem
Parallel Computing | 1992-06-26 | Paper |
Heuristic tree search with nonparametric statistical inference methods
International Journal of Computer Mathematics | 1991-01-01 | Paper |
Building heaps in parallel
Information Processing Letters | 1991-01-01 | Paper |
Optimal parallel quicksort on EREW PRAM
BIT | 1991-01-01 | Paper |
