1 / 5

Topics in Sat Solving 2012 VMTL/EMTL

Topics in Sat Solving 2012 VMTL/EMTL. Groups statistics. 13 students 7 groups 1196.571 lines of code (min=879 , max=1803) Only 4 out of 7 groups wrote members names in the documentation. Find any labeling contest. 1 computer, 131 graphs, 60 secs ., 6 groups. Find any labeling contest.

ann-medina
Download Presentation

Topics in Sat Solving 2012 VMTL/EMTL

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Topics in Sat Solving 2012VMTL/EMTL

  2. Groups statistics • 13 students • 7 groups • 1196.571 lines of code(min=879 , max=1803) • Only 4 out of 7 groupswrote members namesin the documentation.

  3. Find any labeling contest • 1 computer, 131 graphs, 60 secs., 6 groups

  4. Find any labeling contest • Group 73935 : Shachar and Shoham. • Order encoding. • Found bounds using node degree. • Group 73924 : Maria and Inara. • Binary encoding.

  5. Find any labeling contest • Our encoding: • Sum using Order encoding. • Different using Direct encoding. • Found bounds (include using node degree). • Equi-propagation Compiler.

More Related