Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction

Saved in:
Bibliographic Details
Published in:Constraints : an international journal 2007, Vol.12 (3), p.345-369
Main Authors: LENGNING LIU, TRUSZCZYNSKI, Mirostaw
Format: Article
Language:English
Subjects:
Applied sciences
Exact sciences and technology
Flows in networks. Combinatorial problems
Operational research and scientific management
Operational research. Management science
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 369
container_issue 3
container_start_page 345
container_title Constraints : an international journal
container_volume 12
creator LENGNING LIU
TRUSZCZYNSKI, Mirostaw
description
format article
fullrecord <record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_19001574</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19001574</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_190015743</originalsourceid><addsrcrecordid>eNqNT7sKwjAUDaJgffxDFsdAaiq1syjuupfbmNpbYlJz08G_N4Lg6nQO5wVnwrJ8V25FpXbFNHG1V6LMlZqzBVEvpaxKVWSsv0BEahEatBhfPBqK6O7ct7zx3hpwXPtHgy7FvKOPPpAZb178bEcxALpIfKRP13oNVpCBoLs0qDuHz9HQis1asGTWX1yyzel4PZzFAJQKbQCnkeoh4APCq84rKdODQv2bewNPUk18</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction</title><source>Springer Nature</source><creator>LENGNING LIU ; TRUSZCZYNSKI, Mirostaw</creator><creatorcontrib>LENGNING LIU ; TRUSZCZYNSKI, Mirostaw</creatorcontrib><identifier>ISSN: 1383-7133</identifier><identifier>EISSN: 1572-9354</identifier><identifier>CODEN: CNSTFT</identifier><language>eng</language><publisher>Heidelberg: Springer</publisher><subject>Applied sciences ; Exact sciences and technology ; Flows in networks. Combinatorial problems ; Operational research and scientific management ; Operational research. Management science</subject><ispartof>Constraints : an international journal, 2007, Vol.12 (3), p.345-369</ispartof><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,4024</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=19001574$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>LENGNING LIU</creatorcontrib><creatorcontrib>TRUSZCZYNSKI, Mirostaw</creatorcontrib><title>Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction</title><title>Constraints : an international journal</title><subject>Applied sciences</subject><subject>Exact sciences and technology</subject><subject>Flows in networks. Combinatorial problems</subject><subject>Operational research and scientific management</subject><subject>Operational research. Management science</subject><issn>1383-7133</issn><issn>1572-9354</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><recordid>eNqNT7sKwjAUDaJgffxDFsdAaiq1syjuupfbmNpbYlJz08G_N4Lg6nQO5wVnwrJ8V25FpXbFNHG1V6LMlZqzBVEvpaxKVWSsv0BEahEatBhfPBqK6O7ct7zx3hpwXPtHgy7FvKOPPpAZb178bEcxALpIfKRP13oNVpCBoLs0qDuHz9HQis1asGTWX1yyzel4PZzFAJQKbQCnkeoh4APCq84rKdODQv2bewNPUk18</recordid><startdate>2007</startdate><enddate>2007</enddate><creator>LENGNING LIU</creator><creator>TRUSZCZYNSKI, Mirostaw</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2007</creationdate><title>Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques</title><author>LENGNING LIU ; TRUSZCZYNSKI, Mirostaw</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_190015743</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Applied sciences</topic><topic>Exact sciences and technology</topic><topic>Flows in networks. Combinatorial problems</topic><topic>Operational research and scientific management</topic><topic>Operational research. Management science</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>LENGNING LIU</creatorcontrib><creatorcontrib>TRUSZCZYNSKI, Mirostaw</creatorcontrib><collection>Pascal-Francis</collection><jtitle>Constraints : an international journal</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>LENGNING LIU</au><au>TRUSZCZYNSKI, Mirostaw</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction</atitle><jtitle>Constraints : an international journal</jtitle><date>2007</date><risdate>2007</risdate><volume>12</volume><issue>3</issue><spage>345</spage><epage>369</epage><pages>345-369</pages><issn>1383-7133</issn><eissn>1572-9354</eissn><coden>CNSTFT</coden><cop>Heidelberg</cop><pub>Springer</pub></addata></record>
fulltext fulltext
identifier ISSN: 1383-7133
ispartof Constraints : an international journal, 2007, Vol.12 (3), p.345-369
issn 1383-7133
1572-9354
language eng
recordid cdi_pascalfrancis_primary_19001574
source Springer Nature
subjects Applied sciences
Exact sciences and technology
Flows in networks. Combinatorial problems
Operational research and scientific management
Operational research. Management science
title Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T02%3A13%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Satisfiability%20testing%20of%20boolean%20combinations%20of%20pseudo-boolean%20constraints%20using%20local-search%20techniques:%20Special%20issue%20on%20local%20search%20techniques%20in%20constraint%20satisfaction&rft.jtitle=Constraints%20:%20an%20international%20journal&rft.au=LENGNING%20LIU&rft.date=2007&rft.volume=12&rft.issue=3&rft.spage=345&rft.epage=369&rft.pages=345-369&rft.issn=1383-7133&rft.eissn=1572-9354&rft.coden=CNSTFT&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E19001574%3C/pascalfrancis%3E%3Cgrp_id%3Ecdi_FETCH-pascalfrancis_primary_190015743%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true