FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526216923> ?p ?o ?g. }

• W1526216923 abstract "A Boolean Satisfiability Testing Problem (SAT) is a combinatorial problem to find a Boolean variable assignment which satisfies all given Boolean formulas. Recent performance improvement of SAT technologies makes SAT-based approaches applicable for solving hard and practical combinatorial problems, such as planning, scheduling, hardware/software verification, and constraint satisfaction.Sugar is a SAT-based constraint solver based on a new encoding method called order encoding which was first used to encode job-shop scheduling problems by Crawford and Baker. In the order encoding, a comparison x≤a is encoded by a different Boolean variable for each integer variable x and integer value a. The Sugar solver shows a good performance for a wide variety of problems, and became the winner of the GLOBAL categories in 2008 and 2009 CSP solver competitions.The talk will provide an introduction to modern SAT solvers, SAT encodings, implementation techniques of the Sugar solver, and its performance evaluation." @default.
• W1526216923 created "2016-06-24" @default.
• W1526216923 creator A5006956801 @default.
• W1526216923 creator A5008322791 @default.
• W1526216923 creator A5038979849 @default.
• W1526216923 date "2010-01-01" @default.
• W1526216923 modified "2023-09-25" @default.
• W1526216923 title "Solving Constraint Satisfaction Problems with SAT Technology" @default.
• W1526216923 cites W1518705996 @default.
• W1526216923 cites W1538681263 @default.
• W1526216923 cites W1983758948 @default.
• W1526216923 cites W2030455524 @default.
• W1526216923 cites W2067633747 @default.
• W1526216923 cites W2118406528 @default.
• W1526216923 cites W2605289564 @default.
• W1526216923 cites W4231708524 @default.
• W1526216923 doi "https://doi.org/10.1007/978-3-642-12251-4_3" @default.
• W1526216923 hasPublicationYear "2010" @default.
• W1526216923 type Work @default.
• W1526216923 sameAs 1526216923 @default.
• W1526216923 citedByCount "6" @default.
• W1526216923 countsByYear W15262169232018 @default.
• W1526216923 countsByYear W15262169232021 @default.
• W1526216923 crossrefType "book-chapter" @default.
• W1526216923 hasAuthorship W1526216923A5006956801 @default.
• W1526216923 hasAuthorship W1526216923A5008322791 @default.
• W1526216923 hasAuthorship W1526216923A5038979849 @default.
• W1526216923 hasConcept C111797529 @default.
• W1526216923 hasConcept C111919701 @default.
• W1526216923 hasConcept C11413529 @default.
• W1526216923 hasConcept C125411270 @default.
• W1526216923 hasConcept C126255220 @default.
• W1526216923 hasConcept C134306372 @default.
• W1526216923 hasConcept C137105694 @default.
• W1526216923 hasConcept C137631369 @default.
• W1526216923 hasConcept C154945302 @default.
• W1526216923 hasConcept C156884757 @default.
• W1526216923 hasConcept C173404611 @default.
• W1526216923 hasConcept C182365436 @default.
• W1526216923 hasConcept C187455244 @default.
• W1526216923 hasConcept C199360897 @default.
• W1526216923 hasConcept C199622910 @default.
• W1526216923 hasConcept C206729178 @default.
• W1526216923 hasConcept C2778770139 @default.
• W1526216923 hasConcept C33923547 @default.
• W1526216923 hasConcept C41008148 @default.
• W1526216923 hasConcept C44616089 @default.
• W1526216923 hasConcept C49937458 @default.
• W1526216923 hasConcept C55416958 @default.
• W1526216923 hasConcept C68387754 @default.
• W1526216923 hasConcept C6943359 @default.
• W1526216923 hasConcept C7342684 @default.
• W1526216923 hasConcept C80444323 @default.
• W1526216923 hasConceptScore W1526216923C111797529 @default.
• W1526216923 hasConceptScore W1526216923C111919701 @default.
• W1526216923 hasConceptScore W1526216923C11413529 @default.
• W1526216923 hasConceptScore W1526216923C125411270 @default.
• W1526216923 hasConceptScore W1526216923C126255220 @default.
• W1526216923 hasConceptScore W1526216923C134306372 @default.
• W1526216923 hasConceptScore W1526216923C137105694 @default.
• W1526216923 hasConceptScore W1526216923C137631369 @default.
• W1526216923 hasConceptScore W1526216923C154945302 @default.
• W1526216923 hasConceptScore W1526216923C156884757 @default.
• W1526216923 hasConceptScore W1526216923C173404611 @default.
• W1526216923 hasConceptScore W1526216923C182365436 @default.
• W1526216923 hasConceptScore W1526216923C187455244 @default.
• W1526216923 hasConceptScore W1526216923C199360897 @default.
• W1526216923 hasConceptScore W1526216923C199622910 @default.
• W1526216923 hasConceptScore W1526216923C206729178 @default.
• W1526216923 hasConceptScore W1526216923C2778770139 @default.
• W1526216923 hasConceptScore W1526216923C33923547 @default.
• W1526216923 hasConceptScore W1526216923C41008148 @default.
• W1526216923 hasConceptScore W1526216923C44616089 @default.
• W1526216923 hasConceptScore W1526216923C49937458 @default.
• W1526216923 hasConceptScore W1526216923C55416958 @default.
• W1526216923 hasConceptScore W1526216923C68387754 @default.
• W1526216923 hasConceptScore W1526216923C6943359 @default.
• W1526216923 hasConceptScore W1526216923C7342684 @default.
• W1526216923 hasConceptScore W1526216923C80444323 @default.
• W1526216923 hasLocation W15262169231 @default.
• W1526216923 hasOpenAccess W1526216923 @default.
• W1526216923 hasPrimaryLocation W15262169231 @default.
• W1526216923 hasRelatedWork W12125146 @default.
• W1526216923 hasRelatedWork W153082311 @default.
• W1526216923 hasRelatedWork W1538681263 @default.
• W1526216923 hasRelatedWork W1561803047 @default.
• W1526216923 hasRelatedWork W1578133794 @default.
• W1526216923 hasRelatedWork W1598839320 @default.
• W1526216923 hasRelatedWork W1693115739 @default.
• W1526216923 hasRelatedWork W1748017702 @default.
• W1526216923 hasRelatedWork W2019049230 @default.
• W1526216923 hasRelatedWork W2025799810 @default.
• W1526216923 hasRelatedWork W2116758077 @default.
• W1526216923 hasRelatedWork W2144137480 @default.
• W1526216923 hasRelatedWork W2163850966 @default.
• W1526216923 hasRelatedWork W2168910274 @default.
• W1526216923 hasRelatedWork W2250641808 @default.
• W1526216923 hasRelatedWork W2291356747 @default.
• W1526216923 hasRelatedWork W2579221958 @default.
• W1526216923 hasRelatedWork W3003854347 @default.

• next