{"id":"https://openalex.org/W1606276444","doi":"https://doi.org/10.1007/10721959_24","title":"Two Techniques to Improve Finite Model Search","display_name":"Two Techniques to Improve Finite Model Search","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1606276444","doi":"https://doi.org/10.1007/10721959_24","mag":"1606276444"},"language":"en","primary_location":{"id":"doi:10.1007/10721959_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/10721959_24","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110434794","display_name":"Gilles Audemard","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gilles Audemard","raw_affiliation_strings":["Laboratoire d\u2019Informatique de Marseille, Centre de Mathematiques et d\u2019Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","Laboratoire d'Informatique de Marseille, Centre de Mathematiques et d'Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique de Marseille, Centre de Mathematiques et d\u2019Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","institution_ids":[]},{"raw_affiliation_string":"Laboratoire d'Informatique de Marseille, Centre de Mathematiques et d'Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064741707","display_name":"Bela\u00efd Benhamou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Belaid Benhamou","raw_affiliation_strings":["Laboratoire d\u2019Informatique de Marseille, Centre de Mathematiques et d\u2019Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","Laboratoire d'Informatique de Marseille, Centre de Mathematiques et d'Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique de Marseille, Centre de Mathematiques et d\u2019Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","institution_ids":[]},{"raw_affiliation_string":"Laboratoire d'Informatique de Marseille, Centre de Mathematiques et d'Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059195115","display_name":"Laurent H\u00e9nocque","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurent Henocque","raw_affiliation_strings":["Laboratoire d\u2019Informatique de Marseille, Centre de Mathematiques et d\u2019Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","Laboratoire d'Informatique de Marseille, Centre de Mathematiques et d'Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique de Marseille, Centre de Mathematiques et d\u2019Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","institution_ids":[]},{"raw_affiliation_string":"Laboratoire d'Informatique de Marseille, Centre de Mathematiques et d'Informatique, 39, Rue Joliot Curie, 13453, Marseille cedex 13, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110434794"],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.8663,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70588235,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"302","last_page":"308"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9553999900817871,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.946399986743927,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8389860987663269},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.797609806060791},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.6433863639831543},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.5682829022407532},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5021927356719971},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49387842416763306},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.49311086535453796},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4828494191169739},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.47478219866752625},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.46768099069595337},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4614964425563812},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.44627976417541504},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.39235663414001465},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.3529855012893677},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26054948568344116},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2009829878807068},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12778139114379883}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8389860987663269},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.797609806060791},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6433863639831543},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.5682829022407532},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5021927356719971},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49387842416763306},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.49311086535453796},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4828494191169739},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.47478219866752625},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.46768099069595337},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4614964425563812},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.44627976417541504},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.39235663414001465},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.3529855012893677},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26054948568344116},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2009829878807068},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12778139114379883},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/10721959_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/10721959_24","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W14839205","https://openalex.org/W130655838","https://openalex.org/W1488799655","https://openalex.org/W1606276444","https://openalex.org/W1805394487","https://openalex.org/W2012294154","https://openalex.org/W2033561430","https://openalex.org/W2064013408","https://openalex.org/W2082167089","https://openalex.org/W2561675875"],"related_works":["https://openalex.org/W1486916474","https://openalex.org/W202947224","https://openalex.org/W4303044088","https://openalex.org/W1536604285","https://openalex.org/W2141935412","https://openalex.org/W2569549435","https://openalex.org/W2032348095","https://openalex.org/W1544601823","https://openalex.org/W2073925063","https://openalex.org/W2140769824"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}