A Generalised Branch-and-Bound Approach and Its Application …

Emerging

0
Citations
0
Refs
2016
Year
Search Works
Work Details
  • DOI 10.18154/rwth-2016-07600
  • OpenAlex ID W6906920994
  • Type Article
  • Language EN
  • Published 01 Jan 2016
  • Source RWTH Publications (RWTH Aachen)
  • Publisher RWTH Aachen University
  • Added 10 Oct 2025
  • Updated 12 Oct 2026
External Links
OpenAlex Record DOI Resolver Open Access
MENU
0

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Article 2016 EN Green

0

Citations

0

References

3

Authors

0.00

FWCI

Topics
Keywords
Authors & Affiliations
3 authors
#AuthorInstitutionsORCID
1 Gereon Kremer —
2 Florian Corzilius — —
3 Ábrahám, Erika —
Related Works
10

Data: OpenAlex