Picture for Alan M. Frisch

Alan M. Frisch

Towards Reformulating Essence Specifications for Robustness

Add code
Nov 01, 2021
Figure 1 for Towards Reformulating Essence Specifications for Robustness
Figure 2 for Towards Reformulating Essence Specifications for Robustness
Figure 3 for Towards Reformulating Essence Specifications for Robustness
Figure 4 for Towards Reformulating Essence Specifications for Robustness
Viaarxiv icon

A Commentary on "Breaking Row and Column Symmetries in Matrix Models"

Add code
Oct 03, 2019
Figure 1 for A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
Viaarxiv icon

Convergent Deduction for Probabilistic Logic

Add code
Mar 27, 2013
Viaarxiv icon

Probability as a Modal Operator

Add code
Mar 27, 2013
Figure 1 for Probability as a Modal Operator
Figure 2 for Probability as a Modal Operator
Viaarxiv icon

Conjure Revisited: Towards Automated Constraint Modelling

Add code
Sep 08, 2011
Figure 1 for Conjure Revisited: Towards Automated Constraint Modelling
Figure 2 for Conjure Revisited: Towards Automated Constraint Modelling
Viaarxiv icon

Multiset Ordering Constraints

Add code
May 22, 2009
Figure 1 for Multiset Ordering Constraints
Figure 2 for Multiset Ordering Constraints
Figure 3 for Multiset Ordering Constraints
Viaarxiv icon