Alan M. Frisch

Available identifiers

zbMath Open frisch.alan-mWikidataQ102196873 ScholiaQ102196873MaRDI QIDQ835807

List of research outcomes

Publication	Date of Publication	Type
\textsc{Conjure}: automatic generation of constraint models from problem specifications	2022-08-11	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Filtering algorithms for the multiset ordering constraint	2009-08-31	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Essence: A constraint language for specifying combinatorial problems	2008-09-02	Paper
The Temporal Knapsack Problem and Its Solution	2008-03-17	Paper
Propagation algorithms for lexicographic ordering constraints	2007-10-23	Paper
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings	2007-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4427907	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4424851	2003-09-07	Paper
Anytime deduction for probabilistic logic	1994-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4287499	1994-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4028792	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4028816	1993-03-28	Paper
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3495342	1989-01-01	Paper

Research outcomes over time

This page was built for person: Alan M. Frisch