Conference Paper/Proceeding/Abstract 874 views
Projection Heuristics for Binary Branchings Between Sum and Product
Oliver Kullmann 
,
Oleg Zaikin
,
Oleg Zaikin
Theory and Applications of Satisfiability Testing – SAT 2021, Volume: 12831, Pages: 299 - 314
Swansea University Authors:
Oliver Kullmann , Oleg Zaikin
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-030-80223-3_21
Abstract
A general framework is developed for heuristics which choose between different branchings.
| Published in: | Theory and Applications of Satisfiability Testing – SAT 2021 |
|---|---|
| ISBN: | 9783030802226 9783030802233 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer International Publishing
2021
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58797 |
| Abstract: |
A general framework is developed for heuristics which choose between different branchings. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Funders: |
EPSRC, EP/S015523/1 |
| Start Page: |
299 |
| End Page: |
314 |