Peter Barth
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 |
|---|---|---|
| Simplifying clausal satisfiability problems Constraints in Computational Logics | 2022-08-16 | Paper |
| Iwasawa theory for one-parameter families of motives | 2014-10-11 | Paper |
| Iwasawa theory for one-parameter families of motives International Journal of Number Theory | 2013-03-12 | Paper |
| Modelling discrete optimisation problems in constraint logic programming Annals of Operations Research | 1998-11-08 | Paper |
| Logic-based 0-1 constraint programming Operations Research/Computer Science Interfaces Series | 1996-02-08 | Paper |
| scientific article; zbMATH DE number 516985 (Why is no real title available?) | 1994-08-25 | Paper |
Research outcomes over time
This page was built for person: Peter Barth
