MIPSat Conference Contributions uri icon

event

  • SAT Competition 2013: Solver and Benchmark Descriptions

event place

  • Helsinki

country

  • FINLANDIA

participation category

  • COMUNICACIÓN

main title

  • Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions

edition country

  • FINLANDIA

publication date

  • 2013

start page

  • 59

end page

  • 60

isbn

  • 978-952-10-8991-6

series title / series number

  • Series of Publications B