Upward planarity testing via SAT (Q4912207)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Upward planarity testing via SAT |
scientific article; zbMATH DE number 6149945
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Upward planarity testing via SAT |
scientific article; zbMATH DE number 6149945 |
Statements
Upward Planarity Testing via SAT (English)
0 references
3 April 2013
0 references
0.9612629413604736
0 references
0.9285466074943542
0 references
0.8246926665306091
0 references
0.8166676759719849
0 references
