<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://tw.rpi.edu/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://tw.rpi.edu/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://tw.rpi.edu/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-02-11T08:17:25-05:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;A_Disjunctive_Decomposition_Scheme_for_Discrete_Constraint_Satisfaction_Problems_Using_Complete_No-2DGood_Sets">
		<rdfs:label>A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_Disjunctive_Decomposition_Scheme_for_Discrete_Constraint_Satisfaction_Problems_Using_Complete_No-Good_Sets"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_Disjunctive_Decomposition_Scheme_for_Discrete_Constraint_Satisfaction_Problems_Using_Complete_No-Good_Sets"/>
		<rdf:type rdf:resource="&wiki;Category-3AInProceedings"/>
		<rdf:type rdf:resource="&wiki;Category-3APublication"/>
		<rdf:type rdf:resource="&wiki;Category-3AKSL_Technical_Report"/>
		<property:Abstract rdf:datatype="http://www.w3.org/2001/XMLSchema#string">In this paper, we introduce a new disjunctive decomposition scheme for discrete constraint satisfaction problems (CSPs).  This strategy is based on first identifying complete no-goods in a graph derived from the microstructure of the CSP, then using these no-goods to decompose the initial CSP into subproblems that exclude these no-goods.  This decomposition produces a partition of the solution space and is guaranteed to keep all solutions while reducing the total number of possibilities to be considered.  We describe the strategy, study its properties, and identify the number of possibilities that are excluded at any decomposition step.  We describe a practical application to which this strategy can be applied efficiently and compare our technique to some decomposition methods reported in the literature.</property:Abstract>
		<property:Address rdf:resource="&wiki;Stanford-2C_CA-2C_USA"/>
		<property:Author rdf:resource="&wiki;Berthe_Y._Choueiry_and_Guevara_Noubir"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inproceedings</property:Bibtype>
		<property:Booktitle rdf:resource="&wiki;Knowledge_Systems-2C_AI_Laboratory"/>
		<property:Has_author rdf:resource="&wiki;Berthe_Y._Choueiry_and_Guevara_Noubir"/>
		<property:Has_identifier rdf:resource="&wiki;A_Disjunctive_Decomposition_Scheme_for_Discrete_Constraint_Satisfaction_Problems_Using_Complete_No-2DGood_Sets"/>
		<property:Has_publishing_details rdf:datatype="http://www.w3.org/2001/XMLSchema#string">August,1998</property:Has_publishing_details>
		<property:Has_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets</property:Has_title>
		<property:Has_where_published rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Knowledge Systems, AI  Laboratory</property:Has_where_published>
		<property:Has_year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1998</property:Has_year>
		<property:Ksl_tr_id rdf:resource="&wiki;A_Disjunctive_Decomposition_Scheme_for_Discrete_Constraint_Satisfaction_Problems_Using_Complete_No-2DGood_Sets"/>
		<property:Month rdf:resource="&wiki;August"/>
		<property:Note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A previous version of this paper appeared in the Proceedings of FLAIRS'97.</property:Note>
		<property:Process_note rdf:resource="&wiki;NO"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets</property:Title>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1998</property:Year>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:DatatypeProperty rdf:about="&property;Year">
		<rdfs:label>Year</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Year"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Year"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Title">
		<rdfs:label>Title</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Title"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Title"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;NO">
		<rdfs:label>NO</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;NO"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/NO"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Process_note">
		<rdfs:label>Process note</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Process_note"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Process_note"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Note">
		<rdfs:label>Note</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Note"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Note"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;August">
		<rdfs:label>August</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;August"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/August"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Month">
		<rdfs:label>Month</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Month"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Month"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Ksl_tr_id">
		<rdfs:label>Ksl tr id</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Ksl_tr_id"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Ksl_tr_id"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_year">
		<rdfs:label>Has year</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_year"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_year"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_where_published">
		<rdfs:label>Has where published</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_where_published"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_where_published"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_title">
		<rdfs:label>Has title</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_title"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_title"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_publishing_details">
		<rdfs:label>Has publishing details</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_publishing_details"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_publishing_details"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;Has_identifier">
		<rdfs:label>Has identifier</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_identifier"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_identifier"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Has_author">
		<rdfs:label>Has author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_author"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Knowledge_Systems-2C_AI_Laboratory">
		<rdfs:label>Knowledge Systems, AI Laboratory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Knowledge_Systems%2C_AI_Laboratory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Knowledge_Systems%2C_AI_Laboratory"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Booktitle">
		<rdfs:label>Booktitle</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Booktitle"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Booktitle"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Bibtype">
		<rdfs:label>Bibtype</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Bibtype"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Bibtype"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;Berthe_Y._Choueiry_and_Guevara_Noubir">
		<rdfs:label>Berthe Y. Choueiry and Guevara Noubir</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Berthe_Y._Choueiry_and_Guevara_Noubir"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Berthe_Y._Choueiry_and_Guevara_Noubir"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Author">
		<rdfs:label>Author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Author"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Stanford-2C_CA-2C_USA">
		<rdfs:label>Stanford, CA, USA</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Stanford%2C_CA%2C_USA"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Stanford%2C_CA%2C_USA"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Address">
		<rdfs:label>Address</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Address"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Address"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Abstract">
		<rdfs:label>Abstract</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Abstract"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Abstract"/>
	</owl:DatatypeProperty>
	<owl:Class rdf:about="&wiki;Category-3AKSL_Technical_Report">
		<rdfs:label>KSL Technical Report</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:KSL_Technical_Report"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:KSL_Technical_Report"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3APublication">
		<rdfs:label>Publication</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Publication"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Publication"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AInProceedings">
		<rdfs:label>InProceedings</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:InProceedings"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:InProceedings"/>
	</owl:Class>
	<!-- References to the SWiVT Ontology, see http://semantic-mediawiki.org/swivt/ -->
	<owl:AnnotationProperty rdf:about="&swivt;page">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:AnnotationProperty rdf:about="&swivt;creationDate">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:Class rdf:about="&swivt;Subject">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Class>
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org -->
</rdf:RDF>
