Picture for Sara Bernardini

Sara Bernardini

Learning Interpretable Heuristics for WalkSAT

Add code
Jul 10, 2023
Viaarxiv icon

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

Add code
Feb 07, 2017
Figure 1 for Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains
Figure 2 for Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains
Figure 3 for Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains
Figure 4 for Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains
Viaarxiv icon