dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter van Beek Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Peter van Beek: A hybrid constraint programming and enumeration approach for solving NHL playoff qualification and elimination problems. European Journal of Operational Research 218(3): 819-828 (2012)
2011
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZijie Li, Peter van Beek: Finding Small Backdoors in SAT Instances. Canadian Conference on AI 2011: 269-280
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Peter van Beek: An Empirical Study of Seeding Manipulations and Their Prevention. IJCAI 2011: 350-356
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: David L. Poole and Alan K. Mackworth, Artificial Intelligence: Foundations of Computational Agents , Cambridge University Press (2010). Artif. Intell. 175(5-6): 932-934 (2011)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinguang Chen, Peter van Beek: Conflict-Directed Backjumping Revisited CoRR abs/1106.0254: (2011)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Li, Pascal Poupart, Peter van Beek: Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference. J. Artif. Intell. Res. (JAIR) 40: 729-765 (2011)
2010
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirza Beg, Peter van Beek: A graph theoretic approach to cache-conscious placement of data for direct mapped caches. ISMM 2010: 113-120
2009
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Peter van Beek: Determining the Number of Games Needed to Guarantee an NHL Playoff Spot. CPAIOR 2009: 233-247
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek: Learning Heuristics for the Superblock Instruction Scheduling Problem. IEEE Trans. Knowl. Data Eng. 21(10): 1489-1502 (2009)
2008
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Li, Pascal Poupart, Peter van Beek: Exploiting Causal Independence Using Weighted Model Counting. AAAI 2008: 337-343
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek: An Application of Constraint Programming to Superblock Instruction Scheduling. CP 2008: 97-111
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Peter van Beek: Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems. Canadian Conference on AI 2008: 234-245
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHiroyuki Takeda, Peter van Beek, Peyman Milanfar: Spatio-temporal video interpolation and denoising using motion-assisted steering kernel (MASK) regression. ICIP 2008: 637-640
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Umut Demircin, Peter van Beek, Yucel Altunbasak: Delay-Constrained and R-D Optimized Transrating for High-Definition Video Streaming Over WLANs. IEEE Transactions on Multimedia 10(6): 1155-1168 (2008)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbid M. Malik, Jim McInnes, Peter van Beek: Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming. International Journal on Artificial Intelligence Tools 17(1): 37-54 (2008)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuayue Wu, Peter van Beek: Portfolios with Deadlines for Backtracking Search. International Journal on Artificial Intelligence Tools 17(5): 835-856 (2008)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbid M. Malik, Tyrel Russell, Michael Chase, Peter van Beek: Learning heuristics for basic block instruction scheduling. J. Heuristics 14(6): 549-569 (2008)
2007
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuayue Wu, Peter van Beek: On Universal Restart Strategies for Backtracking Search. CP 2007: 681-695
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoqing Zhu, Bernd Girod, Peter van Beek: Distributed Channel Time Allocation and Rate Adaptation for Multi-User Video Streaming Over Wireless Home Networks. ICIP (5) 2007: 69-72
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuayue Wu, Peter van Beek: On Portfolios for Backtracking Search in the Presence of Deadlines. ICTAI (1) 2007: 231-238
2006
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Li, Peter van Beek, Pascal Poupart: Performing Incremental Bayesian Inference by Dynamic Model Counting. AAAI 2006: 1173-1179
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Umut Demircin, Peter van Beek: High Definition Video Transmission over Wlans with Time-Scale and R-D Optimized Rate Adaptation. ICIP 2006: 3073-3076
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Louis Kerofsky: Server-Side Playout Delay Management for Video Streaming. ICIP 2006: 3077-3080
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbid M. Malik, Jim McInnes, Peter van Beek: Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraing Programming. ICTAI 2006: 279-287
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarry O'Sullivan, Peter van Beek: Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005). Constraints 11(2-3): 83-84 (2006)
2005
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings Springer 2005
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek: Learning basic block scheduling heuristics from optimal data. CASCON 2005: 242-253
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Kalman, Bernd Girod, Peter van Beek: Optimized transcoding rate selection and packet scheduling for transmitting multiple video streams over a shared channel. ICIP (1) 2005: 165-168
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Mehmet Umut Demircin: Delay- constrained rate adaptation for robust video transmission over home networks. ICIP (2) 2005: 173-176
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Umut Demircin, Peter van Beek: Bandwidth Estimation and Robust Video Streaming Over 802.11E Wireless Lans. ICME 2005: 1250-1253
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Alexander Golynski, Alejandro López-Ortiz, Peter van Beek: An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. Constraints 10(2): 115-135 (2005)
2004
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Hellsten, Gilles Pesant, Peter van Beek: A Domain Consistency Algorithm for the Stretch Constraint. CP 2004: 290-304
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, Alexander Golynski: Improved Algorithms for the Global Cardinality Constraint. CP 2004: 542-556
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Li, Peter van Beek: Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. ICTAI 2004: 542-548
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Toby Walsh: Principles of Constraint Programming and Constraint Processing: A Review. AI Magazine 25(4): 105-106 (2004)
2003
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuayue Wu, Peter van Beek: Restart Strategies: Analysis and Simulation. CP 2003: 1001
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad: An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. CP 2003: 600-614
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek: A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint. IJCAI 2003: 245-250
2002
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002)
2001
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Kent D. Wilken: Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies. CP 2001: 625-639
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Beacham, Xinguang Chen, Jonathan Sillito, Peter van Beek: Constraint Programming Lessons Learned from Crossword Puzzles. Canadian Conference on AI 2001: 78-87
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael E. Bergen, Peter van Beek, Tom Carchrae: Constraint-Based Vehicle Assembly Line Sequencing. Canadian Conference on AI 2001: 88-99
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDean S. Messing, Peter van Beek, James H. Errico: The MPEG-7 colour structure descriptor: image description using colour and local spatial information. ICIP (1) 2001: 670-673
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinguang Chen, Peter van Beek: Conflict-Directed Backjumping Revisited. J. Artif. Intell. Res. (JAIR) 14: 53-81 (2001)
1999
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Xinguang Chen: CPlan: A Constraint Programming Approach to Planning. AAAI/IAAI 1999: 585-590
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAilan Hu, Ioanis Nikolaidis, Peter van Beek: On the Design of Efficient Video-on-Demand Broadcast Schedules. MASCOTS 1999: 262-269
1998
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFahiem Bacchus, Peter van Beek: On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. AAAI/IAAI 1998: 310-318
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon Banks, Peter van Beek, Amnon Meisels: A Heuristic Incremental Modeling Approach to Course Timetabling. Canadian Conference on AI 1998: 16-29
1997
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. Artif. Intell. 89(1-2): 365-387 (1997)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Rina Dechter: Constraint tightness and looseness versus local and global consistency. J. ACM 44(4): 549-566 (1997)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRina Dechter, Peter van Beek: Local and Global Relational Consistency. Theor. Comput. Sci. 173(1): 283-308 (1997)
1996
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Dennis W. Manchak: The Design and Experimental Analysis of Algorithms for Temporal Reasoning CoRR cs.AI/9601101: (1996)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Dennis W. Manchak: The Design and Experimental Analysis of Algorithms for Temporal Reasoning. J. Artif. Intell. Res. (JAIR) 4: 1-18 (1996)
1995
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRina Dechter, Peter van Beek: Local and Global Relational Consistency. CP 1995: 240-257
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. IJCAI 1995: 541-547
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Rina Dechter: On the Minimality and Decomposability of Row-Convex Constraint Networks. J. ACM 42(3): 543-561 (1995)
1994
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: On the Inherent Level of Local Consistency in Constraint Networks. AAAI 1994: 368-373
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Rina Dechter: Constraint Tightness versus Global Consistency. KR 1994: 572-582
1993
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Robin Cohen, Ken Schmidt: From Plan Critiquing to Clarification Dialogue for Cooperative ResponseGeneration. Computational Intelligence 9: 132-154 (1993)
1992
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: On the Minimality and Decomposability of Constraint Networks. AAAI 1992: 447-452
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: Reasoning About Qualitative Temporal Information. Artif. Intell. 58(1-3): 297-326 (1992)
1991
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Robin Cohen: Resolving Plan Ambiguity for Cooperative Response Generation. IJCAI 1991: 938-944
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: Temporal query processing with indefinite information. Artificial Intelligence in Medicine 3(6): 325-339 (1991)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobin Cohen, Fei Song, Bruce Spencer, Peter van Beek: Exploiting Temporal and Novel Information from the User in Plan Recognition. User Model. User-Adapt. Interact. 1(3-4): 125-148 (1991)
1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: Reasoning about Qualitative Temporal Information. AAAI 1990: 728-734
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek, Robin Cohen: Exact and approximate reasoning about temporal relations. Computational Intelligence 6: 132-144 (1990)
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: Approximation Algorithms for Temporal Reasoning. IJCAI 1989: 1291-1296
1987
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Beek: A Model For Generating Better Explanations. ACL 1987: 215-220

Coauthor Index

1Yucel Altunbasak [55]
2Fahiem Bacchus [22] [30]
3Don Banks [21]
4Adam Beacham [28]
5Mirza Beg [62]
6Michael E. Bergen [27]
7Tom Carchrae [27]
8Michael Chase [42] [52] [58] [60]
9Xinguang Chen [24] [25] [28] [30] [64]
10Robin Cohen [3] [5] [7] [10]
11Rina Dechter [11] [13] [15] [18] [19]
12Mehmet Umut Demircin [39] [40] [47] [55]
13James H. Errico [26]
14Bernd Girod [41] [50]
15Alexander Golynski [32] [36] [38]
16Lars Hellsten [37]
17Ailan Hu [23]
18Mark Kalman [41]
19Louis Kerofsky [46]
20Grzegorz Kondrak [14] [20]
21Zijie Li [67]
22Wei Li [35] [48] [59] [63]
23Alejandro López-Ortiz (Alex López-Ortiz) [31] [32] [36] [38]
24Abid M. Malik [42] [45] [52] [54] [58] [60]
25Dennis W. Manchak [16] [17]
26Jim McInnes [45] [54]
27Amnon Meisels [21]
28Dean S. Messing [26]
29Peyman Milanfar [56]
30Ioanis Nikolaidis [23]
31Barry O'Sullivan [44]
32Gilles Pesant [37]
33Pascal Poupart [48] [59] [63]
34Claude-Guy Quimper [31] [32] [36] [38]
35Tyrel Russell [42] [52] [57] [58] [60] [61] [66] [68]
36Sayyed Bashir Sadjad (Bashir S. Sadjad) [32]
37Ken Schmidt [10]
38Jonathan Sillito [28]
39Fei Song [5]
40Bruce Spencer [5]
41Hiroyuki Takeda [56]
42John Tromp [31]
43Toby Walsh [30] [34]
44Kent D. Wilken [29]
45Huayue Wu [33] [49] [51] [53]
46Xiaoqing Zhu [50]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page