Matches in SemOpenAlex for { <https://semopenalex.org/work/W595189546> ?p ?o ?g. }
- W595189546 abstract "In this thesis we focus on solving CSPs using SMT. Essentially, what we do is reformulating CSPs into SMT. The obtained results allow us to conclude that state-of-the-art SMT solvers are a robust tool to solve CSPs. We tackle not only decisional CSPs, but also Constraint Optimization Problems and Weighted Constraint Satisfaction Problems. For solving these problems we have used SMT in conjunction with appropriated algorithms: search algorithms and UNSAT core-based algorithms. We have provided support for meta-constraints that is, constraints on constraints. Meta-constraints can be very helpful in the modelling process. Once verified that SMT is a good generic approximation for CP, we tested how algorithms built on top of an SMT solver can have equal or better performance than ad-hoc programs designed specifically for a given problem. The problem that we have selected to make this test is the RCPSP, obtaining highly competitive results." @default.
- W595189546 created "2016-06-24" @default.
- W595189546 creator A5067112646 @default.
- W595189546 date "2012-12-20" @default.
- W595189546 modified "2023-09-24" @default.
- W595189546 title "A satisfiability modulo theories approach to constraint programming" @default.
- W595189546 cites W145815032 @default.
- W595189546 cites W1480636508 @default.
- W595189546 cites W1480909796 @default.
- W595189546 cites W1504520037 @default.
- W595189546 cites W1556687538 @default.
- W595189546 cites W1574034754 @default.
- W595189546 cites W1590910789 @default.
- W595189546 cites W1596764664 @default.
- W595189546 cites W1609511324 @default.
- W595189546 cites W1630321466 @default.
- W595189546 cites W1672530173 @default.
- W595189546 cites W169672073 @default.
- W595189546 cites W179290619 @default.
- W595189546 cites W1868334863 @default.
- W595189546 cites W1923495615 @default.
- W595189546 cites W1969848548 @default.
- W595189546 cites W1972567131 @default.
- W595189546 cites W1973131489 @default.
- W595189546 cites W1991281551 @default.
- W595189546 cites W1999038767 @default.
- W595189546 cites W2005096614 @default.
- W595189546 cites W2007363252 @default.
- W595189546 cites W2009683816 @default.
- W595189546 cites W2011617423 @default.
- W595189546 cites W2015135969 @default.
- W595189546 cites W2022846948 @default.
- W595189546 cites W2024742034 @default.
- W595189546 cites W2029242918 @default.
- W595189546 cites W2036112575 @default.
- W595189546 cites W203746830 @default.
- W595189546 cites W2037593836 @default.
- W595189546 cites W2038345112 @default.
- W595189546 cites W2040296085 @default.
- W595189546 cites W2051790368 @default.
- W595189546 cites W2057361103 @default.
- W595189546 cites W2061483747 @default.
- W595189546 cites W2062897452 @default.
- W595189546 cites W2067462952 @default.
- W595189546 cites W2068852367 @default.
- W595189546 cites W2070891082 @default.
- W595189546 cites W2072755230 @default.
- W595189546 cites W2075675164 @default.
- W595189546 cites W2085301456 @default.
- W595189546 cites W2090056692 @default.
- W595189546 cites W2095326093 @default.
- W595189546 cites W2095332973 @default.
- W595189546 cites W2098022011 @default.
- W595189546 cites W2100609826 @default.
- W595189546 cites W2100738443 @default.
- W595189546 cites W2104670598 @default.
- W595189546 cites W2106622621 @default.
- W595189546 cites W2107974651 @default.
- W595189546 cites W2109992583 @default.
- W595189546 cites W2114873590 @default.
- W595189546 cites W2117837254 @default.
- W595189546 cites W2118406528 @default.
- W595189546 cites W2118943303 @default.
- W595189546 cites W2121852392 @default.
- W595189546 cites W2132210624 @default.
- W595189546 cites W2135432705 @default.
- W595189546 cites W2138037655 @default.
- W595189546 cites W2140742285 @default.
- W595189546 cites W2143775744 @default.
- W595189546 cites W2147507583 @default.
- W595189546 cites W2148546044 @default.
- W595189546 cites W2153131284 @default.
- W595189546 cites W2153864093 @default.
- W595189546 cites W2156525231 @default.
- W595189546 cites W2159875930 @default.
- W595189546 cites W2163174899 @default.
- W595189546 cites W2164754295 @default.
- W595189546 cites W2164778826 @default.
- W595189546 cites W2166192636 @default.
- W595189546 cites W2170145744 @default.
- W595189546 cites W2170826919 @default.
- W595189546 cites W2209708092 @default.
- W595189546 cites W2394717198 @default.
- W595189546 cites W2498042365 @default.
- W595189546 cites W2529918221 @default.
- W595189546 cites W2569549435 @default.
- W595189546 cites W2916441570 @default.
- W595189546 cites W77793587 @default.
- W595189546 cites W2593442906 @default.
- W595189546 hasPublicationYear "2012" @default.
- W595189546 type Work @default.
- W595189546 sameAs 595189546 @default.
- W595189546 citedByCount "1" @default.
- W595189546 countsByYear W5951895462019 @default.
- W595189546 crossrefType "dissertation" @default.
- W595189546 hasAuthorship W595189546A5067112646 @default.
- W595189546 hasConcept C11413529 @default.
- W595189546 hasConcept C120665830 @default.
- W595189546 hasConcept C121332964 @default.
- W595189546 hasConcept C126255220 @default.