CP 2003 - PDF Preprint Papers

CP 2003 Principles and Practice of Constraint Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CP-2003 Paper

click to vote

CP
2003
Springer

182views Artificial Intelligence» more CP 2003»

A SAT-Based Approach to Multiple Sequence Alignment

13 years 9 months ago

Download 4c.ucc.ie

Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...

Steven David Prestwich, Desmond G. Higgins, Orla O...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	182	A SAT-Based Approach to Multiple Sequence Alignment	claim
2	143	Open Constraint Optimization	claim
3	138	Constraint-Based Optimization with the Minimax Decision Criterion	claim
4	133	HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care	claim
5	129	Automated Mechanism Design: A New Application Area for Search Algorithms	claim
6	127	Box Constraint Collections for Adhoc Constraints	claim
7	126	Cost-Based Filtering for Shorter Path Constraints	claim
8	124	CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions	claim
9	123	An Algebraic Approach to Multi-sorted Constraints	claim
10	118	Applying Interchangeability Techniques to the Distributed Breakout Algorithm	claim
11	111	A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container	claim
12	111	Propagating N-Ary Rigid-Body Constraints	claim
13	110	Using Constraint Programming to Solve the Maximum Clique Problem	claim
14	108	Unrestricted Nogood Recording in CSP Search	claim
15	104	Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems	claim
16	101	A Wealth of SAT Distributions with Planted Assignments	claim
17	99	Toy(FD): Sketch of Operational Semantics	claim
18	99	Constraints for Breaking More Row and Column Symmetries	claim
19	98	Semi-automatic Modeling by Constraint Acquisition	claim
20	98	Control Abstractions for Local Search	claim
21	98	Boosting as a Metaphor for Algorithm Design	claim
22	96	Incremental Computation of Resource-Envelopes in Producer-Consumer Models	claim
23	96	Generating High Quality Schedules for a Spacecraft Memory Downlink Problem	claim
24	95	Solving Max-SAT as Weighted CSP	claim
25	94	Distributed Forward Checking	claim
26	93	Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms	claim
27	93	Identifying Inconsistent CSPs by Relaxation	claim
28	93	Comparison of Symmetry Breaking Methods	claim
29	92	Terminating Decision Algorithms Optimally	claim
30	88	Improving Backtrack Search for Solving the TCSP	claim
31	87	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search	claim
32	86	Maintaining Longest Paths Incrementally	claim
33	85	Propagation Redundancy in Redundant Modelling	claim
34	85	Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search	claim
35	85	A Synthesis of Constraint Satisfaction and Constraint Solving	claim
36	84	Scheduling in the Face of Uncertain Resource Consumption and Utility	claim
37	84	Approximated Consistency for Knapsack Constraints	claim
38	80	Semi-independent Partitioning: A Method for Bounding the Solution to COP's	claim
39	79	Constraints over Ontologies	claim
40	79	Using Constraints for Exploring Catalogs	claim
41	78	Redundant Modeling for the QuasiGroup Completion Problem	claim
42	77	Improved Algorithms for Max-restricted Path Consistency	claim
43	76	Using Case-Based Reasoning to Write Constraint Programs	claim
44	76	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint	claim
45	69	Solving 'Still Life' with Soft Constraints and Bucket Elimination	claim
46	58	Symmetry Breaking Ordering Constraints	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers