Horst Samulowitz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Search combinators Constraints | 2015-01-22 | Paper |
| An introduction to search combinators Logic-Based Program Synthesis and Transformation | 2013-09-13 | Paper |
| Stronger Inference through Implied Literals from Conflicts and Knapsack Covers Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
| Dynamically Partitioning for Solving QBF Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
| Using SAT in QBF Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
| Binary Clause Reasoning in QBF Lecture Notes in Computer Science | 2007-09-04 | Paper |
| Visualization of eclipses and planetary conjunction events. The interplay between model coherence, scaling and animation The Visual Computer | 2001-11-19 | Paper |
Research outcomes over time
This page was built for person: Horst Samulowitz
