User contributions
Jump to navigation
Jump to search
- 11:24, 24 June 2016 diff hist +66 Main Page BDD Polyhedra
- 17:22, 13 June 2016 diff hist -3 m Hiring/BDDPolyhedra →Required Skills current
- 17:22, 13 June 2016 diff hist -4 Hiring/BDDPolyhedra
- 17:20, 13 June 2016 diff hist +2,983 N Hiring/BDDPolyhedra Created page with "The STATOR project is hiring a PhD student. ==Keywords== convex polyhedra; parametric linear programming; binary decision diagrams; satisfiability testing; computer proofs...."
- 11:05, 25 February 2014 diff hist +134 ICMS 2014 session on automated proofs by induction →Publications current
- 15:36, 24 February 2014 diff hist +79 ICMS 2014 session on automated proofs by induction →Aims and scope
- 15:35, 24 February 2014 diff hist +2 m ICMS 2014 session on automated proofs by induction
- 14:58, 24 February 2014 diff hist -5 ICMS 2014 session on automated proofs by induction
- 11:43, 17 February 2014 diff hist +89 Seminar current
- 11:05, 17 February 2014 diff hist +112 Members current
- 11:04, 17 February 2014 diff hist +30 Members
- 11:03, 17 February 2014 diff hist +53 Seminar
- 09:30, 14 February 2014 diff hist +317 ICMS 2014 session on automated proofs by induction
- 09:24, 14 February 2014 diff hist +122 ICMS 2014 session on automated proofs by induction →Submission guidelines
- 09:22, 14 February 2014 diff hist +95 ICMS 2014 session on automated proofs by induction →Submission guidelines
- 09:19, 14 February 2014 diff hist +342 ICMS 2014 session on automated proofs by induction →Submission guidelines
- 09:18, 14 February 2014 diff hist +93 ICMS 2014 session on automated proofs by induction
- 09:16, 14 February 2014 diff hist +254 ICMS 2014 session on automated proofs by induction
- 20:23, 13 February 2014 diff hist +217 ICMS 2014 session on automated proofs by induction publications