Index of /~choueiry/Documents

Icon  Name                                                 Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] 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 [   ] 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 [   ] 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 [IMG] 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 [   ] 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] 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 [   ] 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 [DIR] 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 [   ] 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 [IMG] 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