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!
Description
Summary:
ISSN:1383-7133
1572-9354