Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186163313> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2186163313 abstract "The project is about searching for new algorithms to show the satisflability of Boolean formulas. It is also about studying which proof systems are the most e‐cient to show their unsatisflability. Both directions have aplications in the flelds of circuit veriflcation, program veriflcation with model checking, automated deduction, and others. The satisflability problem is a particular case of the constraint satisfaction problem. The decisional form of both problems is NP-Complete. Constraint satisfaction problems appear in a large variety of practical situations, such as scheduling, temporal reasoning, machine vision, etc., so their study is important. We will study this topic both from the point of view of verifying satisflability, and from the point of view of showing the unsatisflability of constraints via proof systems. For that we will need to deflne proof systems that will work with domains more general than 0/1. This is a new and promising approach, because it brings to the fleld of constraint satisfaction problems the techniques from proof complexity and flnite model theory that had not been used before in this" @default.
- W2186163313 created "2016-06-24" @default.
- W2186163313 creator A5002382081 @default.
- W2186163313 date "2007-01-01" @default.
- W2186163313 modified "2023-09-26" @default.
- W2186163313 title "Foundations of Automated Deduction and Satisflability, iDEAS TIN2004-04343" @default.
- W2186163313 cites W1512793391 @default.
- W2186163313 cites W153015188 @default.
- W2186163313 cites W1549886432 @default.
- W2186163313 cites W1552564877 @default.
- W2186163313 cites W1594732291 @default.
- W2186163313 cites W1603707154 @default.
- W2186163313 cites W1657692463 @default.
- W2186163313 cites W1787617900 @default.
- W2186163313 cites W1951141208 @default.
- W2186163313 cites W1983032729 @default.
- W2186163313 cites W1985793060 @default.
- W2186163313 cites W1996330905 @default.
- W2186163313 cites W2021281986 @default.
- W2186163313 cites W2049645218 @default.
- W2186163313 cites W2074946288 @default.
- W2186163313 cites W2104048625 @default.
- W2186163313 cites W2147039299 @default.
- W2186163313 cites W2154352023 @default.
- W2186163313 cites W2155002729 @default.
- W2186163313 cites W2159698983 @default.
- W2186163313 cites W2171966496 @default.
- W2186163313 cites W3104030884 @default.
- W2186163313 cites W1589631000 @default.
- W2186163313 hasPublicationYear "2007" @default.
- W2186163313 type Work @default.
- W2186163313 sameAs 2186163313 @default.
- W2186163313 citedByCount "0" @default.
- W2186163313 crossrefType "journal-article" @default.
- W2186163313 hasAuthorship W2186163313A5002382081 @default.
- W2186163313 hasConcept C126255220 @default.
- W2186163313 hasConcept C136197465 @default.
- W2186163313 hasConcept C154945302 @default.
- W2186163313 hasConcept C199622910 @default.
- W2186163313 hasConcept C206729178 @default.
- W2186163313 hasConcept C2524010 @default.
- W2186163313 hasConcept C2776036281 @default.
- W2186163313 hasConcept C28719098 @default.
- W2186163313 hasConcept C33923547 @default.
- W2186163313 hasConcept C41008148 @default.
- W2186163313 hasConcept C44616089 @default.
- W2186163313 hasConcept C49937458 @default.
- W2186163313 hasConcept C80444323 @default.
- W2186163313 hasConceptScore W2186163313C126255220 @default.
- W2186163313 hasConceptScore W2186163313C136197465 @default.
- W2186163313 hasConceptScore W2186163313C154945302 @default.
- W2186163313 hasConceptScore W2186163313C199622910 @default.
- W2186163313 hasConceptScore W2186163313C206729178 @default.
- W2186163313 hasConceptScore W2186163313C2524010 @default.
- W2186163313 hasConceptScore W2186163313C2776036281 @default.
- W2186163313 hasConceptScore W2186163313C28719098 @default.
- W2186163313 hasConceptScore W2186163313C33923547 @default.
- W2186163313 hasConceptScore W2186163313C41008148 @default.
- W2186163313 hasConceptScore W2186163313C44616089 @default.
- W2186163313 hasConceptScore W2186163313C49937458 @default.
- W2186163313 hasConceptScore W2186163313C80444323 @default.
- W2186163313 hasLocation W21861633131 @default.
- W2186163313 hasOpenAccess W2186163313 @default.
- W2186163313 hasPrimaryLocation W21861633131 @default.
- W2186163313 hasRelatedWork W1490013103 @default.
- W2186163313 hasRelatedWork W1509251869 @default.
- W2186163313 hasRelatedWork W1510222959 @default.
- W2186163313 hasRelatedWork W1518208727 @default.
- W2186163313 hasRelatedWork W1830383289 @default.
- W2186163313 hasRelatedWork W1874365936 @default.
- W2186163313 hasRelatedWork W191849379 @default.
- W2186163313 hasRelatedWork W2040141876 @default.
- W2186163313 hasRelatedWork W2146947872 @default.
- W2186163313 hasRelatedWork W2148390792 @default.
- W2186163313 hasRelatedWork W2184941558 @default.
- W2186163313 hasRelatedWork W2217031491 @default.
- W2186163313 hasRelatedWork W2229701631 @default.
- W2186163313 hasRelatedWork W2233529400 @default.
- W2186163313 hasRelatedWork W2394839833 @default.
- W2186163313 hasRelatedWork W3021963355 @default.
- W2186163313 hasRelatedWork W3151924600 @default.
- W2186163313 hasRelatedWork W3201064495 @default.
- W2186163313 hasRelatedWork W46668428 @default.
- W2186163313 hasRelatedWork W900043438 @default.
- W2186163313 isParatext "false" @default.
- W2186163313 isRetracted "false" @default.
- W2186163313 magId "2186163313" @default.
- W2186163313 workType "article" @default.