Selecting the Selection

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40229-1_22 ◽

2016 ◽

pp. 313-329 ◽

Author(s):

Kryštof Hoder ◽

Giles Reger ◽

Martin Suda ◽

Andrei Voronkov

Download Full-text