Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
array a » array _
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
array a » array _
1
Argitaratua 2008
Aurkibidea:
“... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Testu osoa
Baliabide elektronikoa
eBook
3