Efficient Solving of Large Arithmetic Constraint Systems wit…

Emerging

6
Citations
0
Refs
2011
Year
Search Works
Work Details
  • DOI 10.1007/978-3-8348-9949-1
  • OpenAlex ID W1602484784
  • Type Book
  • Language EN
  • Published 01 Jan 2011
  • Source Vieweg+Teubner eBooks
  • Added 24 Jun 2016
  • Updated 21 Sep 2026
External Links
OpenAlex Record DOI Resolver
MENU
0

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Book 2011 EN

6

Citations

0

References

1

Authors

0.00

FWCI

Citations by Year
Last 4 years
Topics
Keywords
Authors & Affiliations
1 authors
#AuthorInstitutionsORCID
1 Christian Herde Corresponding —
Related Works
10

Data: OpenAlex