Search Results - "Checker problems"

Optimising the ProB model checker for B using partial order reduction.

Authors: Dobrikov, Ivaylo Leuschel, Michael

Source: Formal Aspects of Computing. Apr2016, Vol. 28 Issue 2, p295-323. 29p.

Subjects: Checker problems, Computer software correctness, Mathematical optimization, Mathematical variables, Mathematical simplification

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver.

Authors: Naumowicz, Adam¹ adamn@mizar.org

Source: Journal of Automated Reasoning. Oct2015, Vol. 55 Issue 3, p285-294. 10p.

Subjects: Automatic theorem proving, Checker problems, Boolean functions, Computers in mathematics, Intersection numbers

MODERN AND COMPETITIVE REGENERATOR DESIGNS FOR GLASS INDUSTRY.

Authors: Bourdonnais, Sébastien¹

Source: Ceramic Engineering & Science Proceedings; 2015, Vol. 36 Issue 1, p143-153, 11p

The Shortest Game of Chinese Checkers and Related Problems.

Authors: Bell, George I.¹ gibell@comcast.net

Source: Integers. Apr2009, Vol. 9 Issue 1, p17-39. 23p. 10 Diagrams, 3 Charts.

The Geoboard Triangle Quest.

Authors: Allen, Kasi C.

Source: Mathematics Teacher. Sep2013, Vol. 107 Issue 2, p112-118. 7p.

Subjects: COMMON Core State Standards, MATHEMATICAL analysis, TRIANGLES, CHECKER problems, PLANE geometry

Analyzing Systems Dependent on Execution Speed with Model Checker

Authors: Mizuno, Takahisa Nishizaki, Shin-Ya

Source: Procedia Engineering. Dec2012, Vol. 50, p544-554. 11p.

Subjects: Array processors, Information retrieval, Checker problems, Industrialization, Digital currency, Simulation methods & models

NEWS BRIEFS.

Authors: Hutchinson, Alex

Source: Popular Mechanics. Oct2007, Vol. 184 Issue 10, p18-18. 1p. 4 Color Photographs.