- Computing and Information Systems - Research Publications
Computing and Information Systems - Research Publications
Permanent URI for this collection
3 results
Filters
Reset filtersSettings
Statistics
Citations
Search Results
Now showing
1 - 3 of 3
-
ItemBoolean affine approximation with binary decision diagramsHenshall, K ; Schachte, P ; Søndergaard, H ; Whiting, L (Australian Computer Society, 2009-12-01)
-
ItemSolving Partial Order Constraints for LPO TerminationCodish, ; LAGOON, V ; STUCKEY, P ( 2008)
-
ItemAn Algorithm for Affine Approximation of Binary Decision DiagramsHenshall, K ; Schachte, P ; Sondergaard, H ; Whiting, L (Theory of Computing Exchange, 2010)