Index of /~choueiry/Documents
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/layout.gif)
AC-MackworthFreuder.pdf 2008-04-14 13:58 1.0M
AC4MohrHenderson.pdf 2017-12-08 08:52 1.1M
Abramson+Yung-89.pdf 2009-04-08 12:09 1.8M
Allen-CACM1983.pdf 2009-08-27 16:09 922K
Arnborg-1985.pdf 2014-10-16 12:28 3.4M
BT-Bounded1985.pdf 2008-04-14 13:51 1.1M
BT-Free1982.pdf 2008-04-14 13:50 1.2M
BalafoutisStergiou-CP.pdf 2024-03-26 14:33 218K
Balafrej-Bessiere-AAAI2014.pdf 2017-12-08 08:35 679K
Balafrej IJCAI15.pdf 2017-12-08 08:30 722K
Barbara-Smith-95_14.pdf 2011-08-23 20:34 200K
BarbaraSmith-IJCAI2005.pdf 2014-10-16 12:28 166K
Bartak-review.pdf 2008-04-09 00:59 221K
Beeri-JACM-1983.pdf 2017-12-08 08:35 3.6M
Bennaceur-Affane-partition-k-ac.pdf 2017-12-08 08:07 821K
Berry-Triangulation-2004.pdf 2009-11-30 17:10 146K
Bessier-Debruyne-AIJ2008-SAC-BiSAC.pdf 2017-12-15 06:23 390K
Bessiere-AIJ2005.pdf 2009-03-26 11:00 184K
Bessiere-AIJ2008.pdf 2015-04-03 16:07 344K
Bessiere-DF-AIJ2008.pdf 2009-03-24 23:12 344K
Bessiere-Debruyne-IJCAI05.pdf 2009-03-24 23:07 150K
Bessiere-HandbookChapter3.pdf 2011-03-06 00:51 1.1M
Bessiere-POAC-AAAI14.pdf 2015-04-03 16:08 823K
Bessiere-cp06-roots.pdf 2009-11-17 19:13 166K
Bessiere-cp13-gic.pdf 2017-12-08 08:30 397K
Bessiere-nFC-2002.pdf 2009-04-02 12:32 189K
Bessiere-row-convexIJCAI09-078.pdf 2009-09-08 23:15 633K
BessiereAC2001.pdf 2017-12-08 08:50 184K
BessiereReginYapZhang.pdf 2017-12-08 08:49 184K
Bliek-Haroud-99-v2.pdf 2014-10-15 18:16 378K
Bliek-Haroud-99.pdf 2017-12-08 08:46 179K
![[ ]](/icons/a.gif)
Bliek-Haroud-99.ps 2009-02-20 12:14 363K
Boerkoel-Durfee-JAIR-2013.pdf 2017-12-08 08:13 3.0M
Bordeaux-Cadoli-Mancini-JAIR2008.pdf 2015-04-30 16:39 474K
Bordeaux-ReviewACM.pdf 2009-10-09 19:24 858K
Boussemart-ECAI-04.pdf 2024-03-21 13:49 132K
Boussemart-Hemery-Lecoutre-Ordering.pdf 2017-12-08 08:10 12M
BreakoutMorris1993.pdf 2012-11-14 14:38 1.9M
BvBAAAI98.pdf 2008-04-09 00:54 114K
CP-2016-Proceedings.pdf 2017-12-08 08:24 53M
Carbonnel-CooperTractableCSPs-2016.pdf 2017-12-08 08:30 499K
Chavalit-IJCAI07.pdf 2009-12-06 09:45 197K
Cheeseman91.pdf 2017-12-08 08:48 1.2M
Chen-Dalmau-HypertreeCP05.pdf 2009-04-27 10:58 206K
Cheng+YapAAAI05.pdf 2005-09-07 19:18 138K
Chmeiss-Condotta-2011.pdf 2017-12-08 08:35 222K
ChmeissJegou--1998.pdf 2017-12-08 08:45 1.4M
ChmeissJegou-PC.pdf 2017-12-08 08:48 2.6M
![[ ]](/icons/unknown.gif)
Chmeiss Readable.docx 2017-12-08 08:46 2.7M
Choco.pdf 2008-04-24 12:56 302K
ChocoFages-2017.pdf 2017-12-08 10:38 504K
Choueiry-Davis.pdf 2009-10-08 11:55 1.3M
ChoueiryNoubirSingapor1996.pdf 2017-12-08 08:39 7.4M
Colton_cc08.pdf 2009-12-07 17:30 360K
Confidential--Cohen-CP_2016.pdf 2017-12-08 08:25 690K
ConsistencyinSAT.pdf 2009-11-17 18:45 307K
ConstraintSynthesis1978.pdf 2008-04-14 13:50 1.5M
Cooper-CP2014-BeyondConsistency+Substitutability.pdf 2015-04-03 16:11 321K
Cooper-Jeavons-Salamon-AIJ2010.pdf 2015-04-07 19:39 347K
CooperEtAl-CP2014.pdf 2015-04-03 16:11 625K
DMitchell-cp03-res.pdf 2017-12-08 08:10 282K
Debruyene-ictai99.pdf 2017-12-08 08:24 1.8M
Debruyne-ICTAI1999.pdf 2010-02-02 17:30 173K
Debruyne-IJCAI97-SAC.pdf 2014-10-15 19:46 7.3M
Dechter+vanBeek-TCS1997.pdf 2017-12-08 08:31 2.9M
Dechter-AIJ90.pdf 2011-03-17 01:27 1.8M
Dechter-AIJ90pdf.pdf 2009-04-08 12:11 3.7M
Dechter-ANDOR-CP2004.pdf 2013-02-28 10:54 187K
Dechter-Pearl-1992AIJ.pdf 2013-03-18 14:53 20M
Dechter-Pearl-AIJ-1988.pdf 2017-12-08 08:13 3.3M
Dechter-Pearl1987b.pdf 2009-09-14 17:37 3.1M
Dechter-TC-AIJ89.pdf 2009-03-30 12:18 3.2M
Dechter-TCSP-AIJ91.pdf 2009-11-03 12:11 3.5M
Dechter-UAI1996.pdf 2013-04-04 16:39 211K
DechterFrost.pdf 2011-03-15 01:59 148K
DechterMeiri-AIJ.pdf 2011-03-10 15:12 3.4M
DechterPeal-CycleCut.pdf 2017-12-08 08:52 1.1M
Denmat-Gotlieb-Ducasse-CP07.pdf 2009-03-12 17:59 250K
Deville-PC-CRC-AIJ1999.pdf 2017-12-08 08:29 509K
DisjunctiveDecompositionFreuderHubbe.pdf 2017-12-08 08:48 24K
Duris-alpha-beta-acyclic-2008.pdf 2015-04-07 19:38 237K
ECLiPSeSearch.pdf 2011-03-15 02:26 131K
ECLiPSeSearch.ps 2008-03-25 23:57 594K
ECLiPSetutorial58.pdf 2008-03-25 23:57 1.5M
EDavis-AIJ87.pdf 2009-03-24 23:26 4.4M
Epstein-Freudercp05workshopfinal.pdf 2023-09-28 17:32 1.0M
Faltings2006-DisCSP.pdf 2017-12-08 08:12 419K
FavierCP2009.pdf 2009-10-08 18:46 268K
FindingBugs.pdf 2017-12-08 08:51 208K
Flores-Triangulation-2007.pdf 2009-11-30 17:12 2.2M
Freuder+ElfeAAAI96.pdf 2009-03-24 23:03 173K
Freuder-Dispensable-RCRA2014.pdf 2015-04-03 16:10 154K
Freuder-ICTAI1991selectiverelaxation.pdf 2017-12-08 08:28 1.2M
Freuder-JACM78.pdf 2009-03-24 23:28 1.5M
Freuder-JACM85.pdf 2009-03-24 23:31 1.1M
Freuder-JACM1982.pdf 2009-03-24 23:30 1.2M
Freuder-KR-1991.pdf 2017-12-08 08:36 1.7M
Freuder-KR91.pdf 2017-12-08 08:36 1.8M
Freuder91AA.pdf 2008-03-25 23:57 1.1M
FreuderAAAI91.pdf 2009-10-01 19:55 1.3M
G12.pdf 2011-04-20 11:23 653K
GAC-Extension-AAAI07.pdf 2017-12-08 08:49 442K
GAC3-Mackworth.pdf 2014-09-16 19:33 306K
Game-tree.pdf 2009-02-27 15:17 13K
Game-tree.ps 2009-02-27 15:17 26K
Ganesh-2021.pdf 2024-06-20 13:23 29M
GaneshSATDecay-2015.pdf 2024-06-20 13:24 270K
![[IMG]](/icons/image2.gif)
Garey+Johnson-ComputerAndIntractability.djvu 2009-01-21 14:22 3.0M
Geelen92.pdf 2008-03-25 23:57 1.0M
Golumbic-Sharon-JACM.pdf 2017-12-08 08:47 1.7M
Gomes98boosting.pdf 2009-04-09 23:44 136K
Gottlob-CSP-decomp.pdf 2013-04-19 18:58 449K
Gyssens86.pdf 2009-12-18 13:02 1.4M
Hamadi-Book2013.pdf 2017-12-08 08:29 2.9M
Haralick-Elliott-1980.pdf 2017-02-16 18:20 4.7M
Haselboeck.pdf 2009-10-08 11:54 172K
Hayes_1983_Second_Naive_Physics_Manifesto.pdf 2024-01-11 17:51 16M
Hnich-SetCovering.pdf 2009-09-01 16:30 569K
HogghardestConstraintProblems.pdf 2017-12-08 08:47 253K
HuangKorf.pdf 2009-09-03 19:03 618K
Hunsberger-aaai2002.pdf 2010-02-02 19:19 181K
Hunsberger-aaai2002.ps 2010-02-02 19:16 365K
Hybrid-Prosser.pdf 2012-11-14 13:26 3.9M
Hyvonen.pdf 2010-02-02 19:20 345K
Hyvonen.ps 1999-08-03 03:12 5.4M
Janssen89.pdf 2017-12-08 08:47 598K
Jegou-AAAI93.pdf 2009-07-26 12:41 1.0M
Jegou-AAAI2015.pdf 2015-04-03 16:10 463K
Jegou-BT-AIJ2002.pdf 2009-03-26 12:20 358K
Jegou-CP05.pdf 2009-03-26 12:32 125K
Jegou-CP06.pdf 2009-03-26 12:30 135K
Jegou-ICTAI08.pdf 2009-03-26 12:34 313K
Jegou-ICTAI2013.pdf 2015-04-03 16:10 494K
Jegou-IJCAI07.pdf 2009-03-26 12:28 157K
Jegou-Matroid.pdf 2017-12-08 08:45 2.4M
Jegou-et-al-ICTAI2014.pdf 2015-04-07 19:40 855K
JegouVilarem.pdf 2009-10-08 11:12 1.7M
JegouVilaremMinGraph.pdf 2009-10-08 11:20 1.3M
JegouVilaremMinGraph.ps 2009-10-08 11:14 2.7M
Jussien-Lhomme-AIJ2002.pdf 2010-02-02 19:19 187K
Jussien-Lhomme-AIJ2002.ps 2010-02-02 19:16 875K
KBayerCP07.pdf 2009-10-22 00:36 169K
KatsirelosBacchusCP2003.pdf 2009-03-10 19:25 48K
Kjaerulff-TR-1990.pdf 2009-11-30 17:15 440K
Kondrak_Theoretical.pdf 2023-05-11 13:31 1.9M
Koriche-IJCAI2022.pdf 2024-03-26 14:33 210K
Koubarakis-HandbookChapter19.pdf 2011-03-16 23:28 201K
Koubarakis-tcs-cp95.pdf 2009-08-27 15:40 255K
Koubarakis-tcs-cp95.ps 2009-08-27 15:39 275K
Kuipers-QualPhysics.pdf 2024-01-11 15:37 2.9M
Kuipers-Qualitative_simulation_then_and_now.pdf 2024-01-11 15:38 171K
KvB-aij97.pdf 2011-08-23 19:17 16M
KvB-aij97.ps 2011-08-23 19:13 222K
LDS.pdf 2009-04-09 23:39 189K
Lal-AAAI05.pdf 2009-10-08 11:55 149K
Larrosa-AIJ-04.pdf 2013-03-09 15:01 457K
Larrosa-CP2000.pdf 2019-05-11 04:30 351K
Lebbah-Lhomme-AIJ2002.pdf 2010-02-02 19:18 257K
Lebbah-Lhomme-AIJ2002.ps 2010-02-02 19:16 2.7M
Lecoultre-LastConflict-ECAI2006.pdf 2024-04-19 19:52 153K
Lecoutre-2008-STR2.pdf 2014-09-16 19:34 506K
Lecoutre-2011-jair.pdf 2014-10-24 17:57 2.3M
Lecoutre-2012-STR3.pdf 2014-09-16 19:34 377K
Lecoutre-AAAI2007cdc.pdf 2012-12-13 12:08 372K
Lecoutre-CDC-AAAI07-036.pdf 2015-04-03 16:10 154K
Lecoutre-CP16.pdf 2017-12-08 08:25 866K
Lecoutre-CP2007pc.pdf 2010-04-13 17:39 208K
Lecoutre-Constraints-STR2.pdf 2014-09-16 19:34 1.4M
Lecoutre-IJCAI07.pdf 2009-12-06 09:47 164K
Lecoutre-LastConflictAIJ-2009.pdf 2015-02-20 11:31 1.1M
Lecoutre-dkwcCPAIOR2014 copy.pdf 2015-04-03 16:10 402K
Lecoutre-eBook-Constraint Networks.pdf 2017-12-08 08:28 12M
Lecoutre-et-al-CLetters.pdf 2009-12-06 09:44 214K
Li-Kowalski-ecai08.pdf 2009-03-12 19:15 222K
Liu-2007.pdf 2017-12-08 08:51 529K
Long-IJCAI2016.pdf 2017-12-08 08:25 641K
Mackworth-AIJ77.pdf 2009-11-04 01:14 2.1M
MackworthAIJ.pdf 2009-11-04 01:13 2.1M
MackworthFreuder1985.pdf 2009-09-14 16:29 1.0M
ManolisHandbook.pdf 2017-12-08 08:52 201K
MaxMatching-HopdcroftKarp.pdf 2011-04-15 20:15 1.8M
McAllester-Notes.pdf 2011-08-23 20:36 168K
McAllester-Notes.ps 2011-08-23 20:36 163K
McGregor-1979.pdf 2014-10-24 19:43 2.0M
McGregor-header.pdf 2010-03-05 18:11 1.7M
McGregor.pdf 2017-12-08 08:53 2.0M
Mehta-vanDongen-IJCAI07-021.pdf 2017-12-08 08:26 187K
Meseguer-AIJ2001.pdf 2017-12-08 08:51 318K
Meseguer-Torras-2001.pdf 2009-04-22 11:11 318K
Milano.pdf 2011-08-23 19:28 253K
Milano.ps 2011-08-23 19:28 253K
MinimalForwardChecking-ICTAI-1994.pdf 2017-12-08 08:35 1.3M
Mizuno-3Col-2007.pdf 2024-01-11 17:50 1.6M
Moffitt-ICAPS06.pdf 2009-10-29 23:12 161K
Mohr+Henderson-AIJ1986.pdf 2014-10-13 10:08 1.4M
Mohr+Masini-88.pdf 2009-04-08 12:10 1.6M
Mohr-Henderson-AIJ-1986-another-copy?.pdf 2014-10-10 19:14 956K
Moninder-Singh-ictai95.pdf 2014-10-10 18:49 6.7M
Montanari-74.pdf 2009-03-24 23:24 2.4M
MontanariUgo1974.pdf 2017-12-08 08:51 2.4M
MultiDimensionalConstraitns.pdf 2017-12-08 08:37 1.5M
NeilYorkSmith-2007 .pdf 2017-12-08 08:13 398K
NeilYorkSmith-2007.pdf 2009-09-03 19:14 263K
NeilYorkeSTP.pdf 2017-12-08 08:52 140K
Ostrowski-CP2002.pdf 2009-11-20 00:27 229K
Pham-IJCAI07.pdf 2009-11-17 19:12 146K
PhamCP2006.pdf 2009-11-17 18:54 191K
PhamIA.pdf 2009-11-17 18:49 5.5M
Planken-TCSP-literature-survey.pdf 2013-01-09 09:48 952K
Prosser-MAC-CBJ-TR1995.pdf 2015-05-01 18:00 4.2M
Prosser-SingletonConsistencies-CP2000.pdf 2017-12-08 08:25 255K
Raju_Jampani.ppt 2009-03-26 10:50 110K
![[DIR]](/icons/folder.gif)
Regin/ 2008-04-17 18:40 -
Regin94.pdf 2008-03-25 23:57 928K
ReginAAAI-1994.pdf 2008-04-07 18:08 955K
Residues-IJCAI07-Freuder.pdf 2009-10-14 15:43 197K
Residues-IJCAI07-Lecoutre.pdf 2009-10-14 15:41 164K
Robertson+Seymour-header.pdf 2010-03-05 18:11 6.8M
Robertson+Seymour.pdf 2010-03-05 18:14 10M
RobertsonSeymour.pdf 2017-12-08 08:44 9.1M
![[ ]](/icons/compressed.gif)
RobertsonSeymour.zip 2017-12-08 08:41 9.0M
Rossi-Aggregating-CP-Nets-CP2014.pdf 2015-04-19 14:15 247K
Rossi-Chapter2.pdf 2015-04-19 14:15 608K
Rossi-Updates+Uncertainty-2013.pdf 2015-04-19 14:15 206K
SAT+SMT-nieuwenhuis.pdf 2012-01-12 11:04 489K
SATSolvers-KR-book-draft-07.pdf 2009-11-19 19:54 597K
STR2-Lecoutre-Long.pdf 2014-09-16 19:34 727K
Sam-HaroudFaltings96.pdf 2017-12-08 08:52 323K
SatishICAPS05-012.pdf 2017-12-08 08:51 221K
Seidel-1981.pdf 2017-12-08 08:44 851K
Seidel-header.pdf 2010-03-05 18:10 684K
Simonis-Viz-CP2010.pdf 2017-12-08 10:47 546K
Smith-Genesereth-AIJ86.pdf 2021-11-18 22:14 2.2M
SmithIJCAI05.pdf 2009-01-23 12:01 86K
SolutionCountingZanuttini.pdf 2009-11-17 19:06 253K
Sosic-Gu-N-queens-1990.pdf 2009-03-12 18:07 405K
Stamatatos-Stergiou-CPAIOR2009.pdf 2017-12-08 08:28 906K
Stergiou-CP2015.pdf 2015-09-24 13:54 182K
Stergiou-HeuristicsECAI08.pdf 2009-06-10 11:35 89K
Stergiou-IJAIT2008.pdf 2017-12-08 08:47 312K
Symmetry-GentPetriePugetFinalDraft.pdf 2010-01-26 15:40 374K
Tinelli-SATSMT-12.pdf 2014-11-05 18:38 1.1M
TreeClusteringDechter1989.pdf 2008-04-14 13:54 3.2M
TreeClutering-DechterPearl.pdf 2017-12-08 08:50 3.2M
TriangulationDJRose1970.pdf 2017-12-08 08:50 1.0M
TsangChapter6.pdf 2008-03-26 00:02 2.6M
TsangTextbook/ 2009-10-09 16:36 -
Ullmann2007-GAC.pdf 2014-09-16 19:34 1.7M
VanHentenryck-Interchangeability-IJCAI.pdf 2017-12-08 08:26 1.8M
VarOrdering-BeckProsserWallace.pdf 2017-12-08 08:51 101K
Verfaillie-AAAI99-Inverse.pdf 2017-12-08 08:25 631K
Vickrey-Koller-aaai2002.pdf 2010-02-02 19:19 140K
Vickrey-Koller-aaai2002.ps 2010-02-02 19:16 594K
Vion-StrongConsistencies-2011.pdf 2019-03-28 12:03 531K
Wallace-NSAC-AIComm2015.pdf 2015-04-03 16:07 211K
Wallace-nSAC-2015.pdf 2015-09-15 11:54 172K
Walsh-IJCAI99.pdf 2009-04-09 23:47 169K
Yoshikawa-Wada-AIPS1992.pdf 2017-12-08 08:37 1.5M
Zabih-AAAI90-007.pdf 2024-04-25 14:21 938K
Zhang-Freuder-AAAI04-032.pdf 2009-10-01 14:17 142K
Zhang-Freuder-AIJ2008.pdf 2009-10-01 14:24 216K
Zhang-varelimination.pdf 2009-10-14 23:40 565K
brelaz.pdf 2008-04-09 00:59 575K
brelaz.ps 2008-03-25 23:57 775K
cp05-beyond.ps 2009-02-18 11:47 197K
cp99-nfc.pdf 2008-04-09 00:58 253K
cp99-nfc.ps 2008-04-09 00:54 420K
freuder96NInverseConsist.pdf 2017-12-08 08:52 175K
gent-stergiou-walsh-aij2000.pdf 2008-04-09 00:58 208K
gent-stergiou-walsh-aij2000.ps 2008-04-09 00:54 866K
icaps08-p3c.pdf 2017-12-08 08:47 150K
intro_to_npc.pdf 2019-11-21 18:11 276K
jacm83a.pdf 2017-12-08 08:49 2.0M
kondrak94theoretical.pdf 2008-03-25 23:47 494K
kondrak95theoretical.pdf 2009-02-16 13:41 149K
kondrak95theoretical.ps 2008-03-25 23:57 159K
kondrakvanbeek95.pdf 2008-03-26 00:21 214K
kondrakvanbeek95.ps 2008-03-25 23:57 1.5M
kumar-survey.pdf 2008-04-09 00:54 702K
latex_not_so_short_introduction.pdf 2010-02-02 19:16 957K
lispSummary.pdf 2009-02-03 22:20 12K
lispSummary.ps 2009-02-03 22:19 67K
nFCi-aij02.pdf 2008-04-09 01:00 306K
nFCi-aij02.ps 2008-03-25 23:57 598K
new.gif 2008-04-09 00:54 147
straatman_remco_killzone_ai.pdf 2009-07-01 18:12 1.8M
vanBeek+Dechterkr94.pdf 2017-12-08 08:34 13M
vanBeek-Dechter-jacm95.pdf 2017-12-08 08:46 308K
vanBeek-Dechter-jacm97.pdf 2017-12-08 08:31 262K
vanBeek-Dechter-row-convex.pdf 2009-09-08 23:10 306K
vanBeekijcai03.pdf 2017-12-08 08:53 95K
vanDongen-ECAI06-SAC.pdf 2017-12-08 08:25 307K
whatisai.pdf 2016-01-15 16:50 105K
whatisai.ps 2016-01-15 16:50 204K
Apache/2.4.51 (Linux/SUSE) Server at cse.unl.edu Port 80