{"id":"https://openalex.org/W2114231362","doi":"https://doi.org/10.1007/978-3-642-04244-7_29","title":"Lazy Clause Generation Reengineered","display_name":"Lazy Clause Generation Reengineered","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2114231362","doi":"https://doi.org/10.1007/978-3-642-04244-7_29","mag":"2114231362"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-04244-7_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-04244-7_29","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":"conference-paper","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/A5060406733","display_name":"Thibaut Feydy","orcid":null},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"The University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Thibaut Feydy","raw_affiliation_strings":["National ICT Australia, Victoria Laboratory Department of Computer Science and Software Engineering, The University of Melbourne, Australia","National ICT Australia, Victoria Laboratory, Department of Computer Science and Software Engineering, The University of Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia, Victoria Laboratory Department of Computer Science and Software Engineering, The University of Melbourne, Australia","institution_ids":["https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT Australia, Victoria Laboratory, Department of Computer Science and Software Engineering, The University of Melbourne, Australia","institution_ids":["https://openalex.org/I165779595","https://openalex.org/I42894916"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064839018","display_name":"Peter J. Stuckey","orcid":"https://orcid.org/0000-0003-2186-0459"},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"The University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Peter J. Stuckey","raw_affiliation_strings":["National ICT Australia, Victoria Laboratory Department of Computer Science and Software Engineering, The University of Melbourne, Australia","National ICT Australia, Victoria Laboratory, Department of Computer Science and Software Engineering, The University of Melbourne, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia, Victoria Laboratory Department of Computer Science and Software Engineering, The University of Melbourne, Australia","institution_ids":["https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT Australia, Victoria Laboratory, Department of Computer Science and Software Engineering, The University of Melbourne, Australia","institution_ids":["https://openalex.org/I165779595","https://openalex.org/I42894916"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":7.5671,"has_fulltext":false,"cited_by_count":99,"citation_normalized_percentile":{"value":0.98308646,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"352","last_page":"366"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9958000183105469,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.8614062070846558},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8020021915435791},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6811214089393616},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6731748580932617},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6616895794868469},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3861386775970459},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33846864104270935},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33645498752593994},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2894415259361267},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19947803020477295},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14954495429992676}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.8614062070846558},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8020021915435791},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6811214089393616},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6731748580932617},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6616895794868469},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3861386775970459},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33846864104270935},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33645498752593994},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2894415259361267},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19947803020477295},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14954495429992676},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-04244-7_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-04244-7_29","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.300.6909","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.6909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ww2.cs.mu.oz.au/~pjs/papers/cp09-lc.pdf","raw_type":"text"},{"id":"pmh:oai:jupiter.its.unimelb.edu.au:11343/26741","is_oa":false,"landing_page_url":"http://hdl.handle.net/11343/26741","pdf_url":null,"source":{"id":"https://openalex.org/S4377196259","display_name":"Minerva Access (University of Melbourne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165779595","host_organization_name":"The University of Melbourne","host_organization_lineage":["https://openalex.org/I165779595"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"15th International Conference on Principles and Practice of Constraint Programming (CP 2009)","raw_type":"Conference Paper"},{"id":"pmh:oai:jupiter.its.unimelb.edu.au:11343/31929","is_oa":false,"landing_page_url":"http://hdl.handle.net/11343/31929","pdf_url":null,"source":{"id":"https://openalex.org/S4377196259","display_name":"Minerva Access (University of Melbourne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165779595","host_organization_name":"The University of Melbourne","host_organization_lineage":["https://openalex.org/I165779595"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1488929456","https://openalex.org/W1531545757","https://openalex.org/W1546943373","https://openalex.org/W1560957333","https://openalex.org/W1590910789","https://openalex.org/W1647121639","https://openalex.org/W1692778824","https://openalex.org/W1895987698","https://openalex.org/W1986964870","https://openalex.org/W2035811095","https://openalex.org/W2077278144","https://openalex.org/W2142785340","https://openalex.org/W2151028272","https://openalex.org/W2485414348","https://openalex.org/W2487140311","https://openalex.org/W2505089941","https://openalex.org/W4250812755","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2081900870","https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W1966025497","https://openalex.org/W68941528","https://openalex.org/W4206451355","https://openalex.org/W8322802","https://openalex.org/W2115480761","https://openalex.org/W4386614288","https://openalex.org/W2920896101"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":12}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}