Alan M. Frisch

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
\textsc{Conjure}: automatic generation of constraint models from problem specifications Artificial Intelligence	2022-08-11	Paper
Principles and Practice of Constraint Programming – CP 2003 Lecture Notes in Computer Science	2010-03-02	Paper
Filtering algorithms for the multiset ordering constraint Artificial Intelligence	2009-08-31	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2009-07-24	Paper
Essence: A constraint language for specifying combinatorial problems Constraints	2008-09-02	Paper
The Temporal Knapsack Problem and Its Solution Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2008-03-17	Paper
Propagation algorithms for lexicographic ordering constraints Artificial Intelligence	2007-10-23	Paper
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings Journal of Automated Reasoning	2007-01-24	Paper
scientific article; zbMATH DE number 1979554 (Why is no real title available?)	2003-09-14	Paper
scientific article; zbMATH DE number 1975610 (Why is no real title available?)	2003-09-07	Paper
Anytime deduction for probabilistic logic Artificial Intelligence	1994-11-08	Paper
scientific article; zbMATH DE number 549980 (Why is no real title available?)	1994-04-12	Paper
scientific article; zbMATH DE number 140385 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 140407 (Why is no real title available?)	1993-03-28	Paper
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning Artificial Intelligence	1992-06-28	Paper
scientific article; zbMATH DE number 4168655 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Alan M. Frisch