Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1678-4804
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading ; volume:19 ; number:4 ; day:9 ; month:4 ; year:2013 ; pages:423-432 ; date:11.2013
Journal of the Brazilian Computer Society / Sociedade Brasileira de Computação ; 19, Heft 4 (9.4.2013), 423-432, 11.2013
- Creator
-
Ribeiro, Rodrigo
Camarão, Carlos
Figueiredo, Lucília
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s13173-013-0107-9
- URN
-
urn:nbn:de:101:1-2021081121031910341300
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ribeiro, Rodrigo
- Camarão, Carlos
- Figueiredo, Lucília
- SpringerLink (Online service)
Other Objects (12)
Algorithms for Satisfiability beyond Resolution
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
Algorithms for Gradual Polyline Simplification
Satisfiability problems
Polyline Simplification using the Fréchet Distance - Algorithms and Engineering
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Simplification
Exact algorithms for constraint satisfaction problems
Generalized satisfiability problems
Generalized satisfiability problems
Transforming imperative algorithms to constraint handling rules
Algorithms for Satisfiability beyond Resolution
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
Algorithms for Gradual Polyline Simplification
Satisfiability problems
Polyline Simplification using the Fréchet Distance - Algorithms and Engineering
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Simplification
Exact algorithms for constraint satisfaction problems
Generalized satisfiability problems
Generalized satisfiability problems
Transforming imperative algorithms to constraint handling rules
Algorithms for Satisfiability beyond Resolution
Algorithms for the satisfiability problem
The satisfiability problem : algorithms and analyses
Algorithms for Gradual Polyline Simplification
Satisfiability problems
Polyline Simplification using the Fréchet Distance - Algorithms and Engineering
Robust algorithms for high quality test pattern generation using Boolean satisfiability
Simplification
Exact algorithms for constraint satisfaction problems
Generalized satisfiability problems
Generalized satisfiability problems