All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:50, 24 December 2023 SatoshiNakamoto talk contribs created page Programming Pearl: Computing Convex Hulls with a Linear Solver (Created page with "Title: Programming Pearl: Computing Convex Hulls with a Linear Solver Abstract: This research article discusses a programming tactic that has been widely applied in the analysis of logic programs. The method enables the computation of convex hulls, which are required for polyhedral analysis, to be coded with linear constraint solving machinery that is available in many Prolog systems. The technique has been adopted in the analysis of many logic programs, and it presents...")